Theorem ContextFreeGrammar.Derives.trans_produces

Modification history

2023-10-13 12:52
Mathlib/Computability/ContextFreeGrammar.lean
feat(Computability/CFG): define context-free grammars (#6385)
Added ContextFreeGrammar.Derives.trans_producesView on Github →