A mechanisation of some context-free language theory in HOL4

2013/05/23 by Aditi Barthwal, Michael Norrish · 2 citations
Computer Science · #semigroups and automata theory #Logic, programming, and type systems #Formal Methods in Verification

paper · doi:10.1016/j.jcss.2013.05.003

Cited by

• Formalization of the pumping lemma for context-free languages
• Formalization of simplification for context-free grammars