Def ContextFreeGrammar.reverse

Modification history

2024-11-02 09:06

Mathlib/Computability/ContextFreeGrammar.lean

feat(ContextFreeGrammar): More lemmas about reversal (#16472) …

Modified ContextFreeGrammar.reverse View on Github →

2024-06-04 09:29

Mathlib/Computability/ContextFreeGrammar.lean

feat: Context-free languages are closed under reversal (#9705)

Added ContextFreeGrammar.reverse View on Github →