trCfg

Mathlib.Computability.PostTuringMachine

URI: https://scilib.ai/kg/mathlib#Turing.TM1to1.trCfg

Lean4

/-- The machine configuration translation. -/
def trCfg : Cfg Γ Λ σ → Cfg Bool (Λ' Γ Λ σ) σ
  | ⟨l, v, T⟩ => ⟨l.map Λ'.normal, v, trTape enc0 T⟩

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

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

Разделы

Аффилиация

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