eval

Mathlib.Computability.NFA

URI: https://scilib.ai/kg/mathlib#NFA.eval

← MathLib Explorer

English

Eval is defined as evalFrom applied to the start set.

Русский

Eval определён как evalFrom, применённый к начальному множеству состояний.

LaTeX

$$eval : List α → Set σ := M.evalFrom M.start$$

Lean4

/-- `M.eval x` computes all possible paths though `M` with input `x` starting at an element of
  `M.start`. -/
def eval : List α → Set σ :=
  M.evalFrom M.start

Похожие утверждения

Научная платформа российской исследовательской школы.

Разделы

MathLib Explorer
Graph RAG
Лаборатория
Блог
О проекте
Команда

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru