stepSet

Mathlib.Computability.EpsilonNFA

URI: https://scilib.ai/kg/mathlib#εNFA.stepSet

← MathLib Explorer

English

StepSet is the union, over all s in S, of the ε-closure of M.step s a.

Русский

StepSet(S, a) есть объединение по всем s∈S ε-замыкания M.step s a.

LaTeX

$$stepSet(S, a) = \bigcup_{s \in S} M.\\varepsilonClosure(M.\\step s a)$$

Lean4

/-- `M.stepSet S a` is the union of the ε-closure of `M.step s a` for all `s ∈ S`. -/
def stepSet (S : Set σ) (a : α) : Set σ :=
  ⋃ s ∈ S, M.εClosure (M.step s a)

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

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

Разделы

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

Аффилиация

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