Formalization of the pumping lemma for context-free languages

Journal of Formalized Reasoning

Article

M.V.M. Ramos

R.J.G.B. De Queiroz

Nelma Moreira

J.C.B. Almeida

Publication

Year of publication: 2016

Volume: 9

Issue: 2

Pages: 53-68

Identifiers

Other: 2-s2.0-85006891546

Locators

Alternative Titles

Preprint

File