Some Applications of the Formalization of the Pumping Lemma for Context-Free Languages
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Conference Paper
MVM Ramos
JCB Bacelar Almeida
RJGB De Queiroz
Publication
Year of publication: 2019
Identifiers
ISSN: 1571-0661
Other: dblp:journals/entcs/RamosAMQ19