Perguntas com a marcação «context-free-languages»

Em muitos trabalhos que envolvem gramáticas livres de contexto (CFGs), os exemplos de tais gramáticas apresentadas frequentemente admitem caracterizações fáceis da linguagem que geram. Por exemplo: S→ a a SbS→umaumaSbS \to a a S b S→S→S \to gera ,{ a2 ibEu| i≥0}{uma2EubEu|Eu≥0 0}\{ a^{2i} b^i | i \geq 0\} S→ …

25 fl.formal-languages  context-free  context-free-languages 

Pergunto-me, existem documentos ou pesquisas que tratem de autômatos visivelmente pushdown, mas permitindo que palavras, em vez de letras únicas, sejam empurradas para a pilha. Como alternativa, uma construção que permitisse que os símbolos fossem inseridos nas transições poderia atingir o mesmo objetivo.ϵϵ\epsilon Obviamente, essas variações podem ser formadas, mas …

16 reference-request  fl.formal-languages  automata-theory  context-free  context-free-languages 

EDIT (Por Tara B): Eu ainda estaria interessado em uma referência a uma prova disso, pois eu mesmo tinha que provar isso para o meu próprio artigo. Estou procurando a prova do Teorema 4 que aparece neste artigo: Uma hierarquia infinita de interseções de idiomas sem contexto por Liu e …

11 reference-request  fl.formal-languages  linear-algebra  context-free-languages  lattice 

Seja uma linguagem livre de contexto. Definir p p c ( G ) ser o encerramento pré e pós-fixa de L , por outras palavras, p p c ( G ) contém todos G 's prefixos e sufixos, e, portanto, G si. Minha pergunta: se L é livre de contexto …

10 fl.formal-languages  automata-theory  grammars  context-free-languages 

No meu trabalho surgiu o problema da classificação CFL em imagens de funções racionais. Em outros termos, o que classe de linguagens formar línguas , para contexto fixo linguagem livre e transdutor de estados finitos determinística . Obtive alguns resultados fáceis, como a linguagem Dyck com duas chaves corresponde à …

8 fl.formal-languages  context-free-languages 

Um aluno me perguntou o seguinte e não conseguiu encontrar uma resposta completa: Existem propriedades de fechamento para a classe de idiomas que não são livres de contexto? É bastante fácil encontrar exemplos que mostram que ele não está fechado sob interseção e iteração (operador estrela Kleene), mas e a …

8 fl.formal-languages  context-free-languages