Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Marcus Vinícius Midena Ramos"'
Publikováno v:
LSFA
Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
Context-free languages are highly important in computer language processing technology as well as in formal language theory. The Pumping Lemma for Context-Free Languages states a property that is valid for all context-free languages, which makes it a
Publikováno v:
Logic, Language, Information, and Computation ISBN: 9783662529201
WoLLIC
WoLLIC
This work describes a formalization effort, using the Coq proof assistant, of fundamental results related to the classical theory of context-free grammars and languages. These include closure properties union, concatenation and Kleene star, grammar s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c5b10290cbb06be0721b8feedd876eee
https://doi.org/10.1007/978-3-662-52921-8_21
https://doi.org/10.1007/978-3-662-52921-8_21