Def Language.IsContextFree

Modification history

2024-06-04 09:29
Mathlib/Computability/ContextFreeGrammar.lean
feat: Context-free languages are closed under reversal (#9705)
Added Language.IsContextFreeView on Github →