Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/50517| Título: | Formalization of the pumping lemma for context-free languages |
| Autor(es): | Ramos, M. V. M. Queiroz, R. J. G. B. de Moreira, Nelma Almeida, José Bacelar |
| Palavras-chave: | Pumping lemma Context-free languages |
| Data: | 28-Mai-2016 |
| Editora: | University Studi Bologna, Almadl Journals |
| Revista: | Journal of Formalized Reasoning |
| Resumo(s): | Context-free languages are highly important in computer language processing technology as well as in formal language theory. The pumping lemma is a property that is valid for all context-free languages, and is used to show the existence of non context-free languages. This paper presents a formalization, using the Coq proof assistant, of the Pumping Lemma for context-free languages. |
| Tipo: | Artigo |
| URI: | https://hdl.handle.net/1822/50517 |
| DOI: | 10.6092/issn.1972-5787/5595 |
| ISSN: | 1972-5787 |
| Versão da editora: | The original publication is available at https://jfr.unibo.it/article/view/5595 |
| Arbitragem científica: | yes |
| Acesso: | Acesso aberto |
| Aparece nas coleções: |
Este trabalho está licenciado sob uma Licença Creative Commons
