Formalization of the pumping lemma for context-free languages

DOI10.6092/issn.1972-5787/5595zbMath1451.68160arXiv1510.04748MaRDI QIDQ5195278

Marcus V. M. Ramos, Nelma Moreira, Ruy J. G. B. de Queiroz, José Bacelar Almeida

Publication date: 18 September 2019

Full work available at URL: https://arxiv.org/abs/1510.04748

zbMATH Keywords

context-free languages; pumping lemma; Coq

Mathematics Subject Classification ID

68Q45: Formal languages and automata

68V20: Formalization of mathematics in connection with theorem provers

Uses Software

• Coq