nil_mem_one

Mathlib.Computability.Language

URI: https://scilib.ai/kg/mathlib#Language.nil_mem_one

English

The empty word is a member of the unit language.

Русский

Пустое слово является элементом единичного языка.

LaTeX

$$$ [] \in (1 : Language \alpha) $$$

Lean4

theorem nil_mem_one : [] ∈ (1 : Language α) :=
  Set.mem_singleton _

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

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

Разделы

Аффилиация

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