input_output

Mathlib.Computability.ContextFreeGrammar

URI: https://scilib.ai/kg/mathlib#ContextFreeRule.Rewrites.input_output

English

A rewrite r.Rewrites [nonterminal r.input] → r.output is always valid for the base step.

Русский

Увод r.Rewrites [nonterminal r.input] → r.output верен на базовом шаге.

LaTeX

$$$r.Rewrites([\text{nonterminal } r.input])\ r.output$$$

Lean4

theorem input_output : r.Rewrites [.nonterminal r.input] r.output := by simpa using head []

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

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

Разделы

Аффилиация

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