Formalization of the pumping lemma for context-free languages

DOI10.6092/ISSN.1972-5787/5595zbMath1451.68160arXiv1510.04748OpenAlexW2287653152MaRDI 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 languagespumping lemmaCoq

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Formalization of mathematics in connection with theorem provers (68V20)

Uses Software

• Unnamed Item

This page was built for publication: Formalization of the pumping lemma for context-free languages