Zobrazeno 1 - 6
of 6
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
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6c32fafd787cd6ffd810c5e3e1a52923
https://doi.org/10.1016/j.entcs.2019.07.010
https://doi.org/10.1016/j.entcs.2019.07.010
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
Publikováno v:
Bulletin of Symbolic Logic; Jun2019, Vol. 25 Issue 2, pf1-f4, 4p
Publikováno v:
Logic, Language, Information & Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings; 2016, pI-XXII, 22p
Autor:
Ulrich, Douglas
Publikováno v:
Bulletin of Symbolic Logic; Jun2019, Vol. 25 Issue 2, p214-215, 2p
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 23rd Workshop on Logic, Language, Information and Communication, WoLLIC 2016, held in Puebla, Mexico, in Augu