of_reverse

Mathlib.Computability.NFA

URI: https://scilib.ai/kg/mathlib#Language.IsRegular.of_reverse

English

If the reverse of a language is regular, then the language is regular.

Русский

Если обратный язык регулярен, значит и язык регулярный.

LaTeX

$$L.reverse.IsRegular → L.IsRegular$$

Lean4

protected theorem of_reverse {L : Language α} (h : L.reverse.IsRegular) : L.IsRegular :=
  L.reverse_reverse ▸ h.reverse

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

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

Разделы

Аффилиация

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