Formalization of the Pumping Lemma for Context-Free Languages

•  
• Visão geral
•  
• Pesquisas
•  
• Identidade
•  
• Informação adicional documento
•  
• Ver Todos
•  

Visão geral

autores

• José Carlos Bacelar Almeida
• Moreira, N.
• Almeida, JoseCarlosBacelar

data de publicação

• janeiro 1, 2016

publicada em

• Journal of Formalized Reasoning  Revista

Pesquisas

palavras-chave

• Context-free languages
• Pumping lemma

Identidade

Digital Object Identifier (DOI)

• https://doi.org/10.6092/issn.1972-5787/5595

Informação adicional documento

Página Inicial

• 53

página final

• 68