Some Applications of the Formalization of the Pumping Lemma for Context-Free Languages
Under a Creative Commons license
open access
Keywords
non-context-free languages
closure
intersection
pumping lemma
formalization
Coq
Cited by (0)
© 2019 The Author(s). Published by Elsevier B.V.