No prefácio de seus livros muito influentes Automata, Languages and Machines (Volumes A, B), Samuel Eilenberg prometeu tentativamente os Volumes C e D lidando com "uma hierarquia (chamada hierarquia racional) dos fenômenos não racionais ... usando relações racionais como uma ferramenta para...
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}...
Na prática, para uma linguagem que possa eventualmente ser compilada / transformada em instruções no nível do sistema, é necessário que seja uma gramática livre de contexto? ex: todas as linguagens de programação / script possuem gramática livre de contexto? Java é baseado em CFGs, mas será que...
Ao mexer na análise de LR não-canônica, pensei em um método de análise (com tabelas de tamanho infinito, o que o torna um tanto impraticável ) capaz de analisar exatamente as gramáticas inequívocas no tempo , e me perguntei se é possível fazer melhor. :O ( n2)O(n2)O(n^2) Todas as gramáticas...
Estou procurando idiomas que "provavelmente não são livres de contexto", mas não podemos (des) provar isso usando técnicas padrão conhecidas. Existe uma pesquisa recente sobre o assunto ou uma seção de problemas abertos de uma conferência recente? Provavelmente, não existem muitos idiomas...
por o número de palavras de comprimento em um idioma (possivelmente ambíguo) sem contexto.Wnwnw_nnnn O que se sabe sobre ?WnWnw_n Tenho certeza de que isso foi estudado muito, mas não consegui encontrar
Dadas as expressões regulares , existem limites não triviais no tamanho da menor gramática livre de contexto para ?R 1 ∩ ⋯ ∩ R nR1, … , RnR1,…,RnR_1, \dots, R_nR1∩ ⋯ ∩ RnR1∩⋯∩RnR_1 \cap \cdots \cap
É sabido que o problema da equivalência é indecidível para linguagens gerais livres de contexto. No entanto, todas as provas desse fato que tenho conhecimento parecem envolver algumas gramáticas ambíguas e livres de contexto. Por esse motivo, gostaria de perguntar se é sabido se o problema...
Li em algum lugar que uma máquina de Turing não pode calcular isso e, portanto, é indecidível, mas por quê? Por que é computacionalmente impossível para uma máquina gerar a árvore de análise e tomar uma decisão? Talvez eu esteja errado e isso possa ser
Existem vários algoritmos que podem analisar uma gramática livre de contexto em . Usando a multiplicação de matrizes, pode-se até assintoticamente mais rápido que isso.O ( n3)O(n3)O(n^3) No entanto, todos os algoritmos para analisar CFGs arbitrários que eu conheço têm um uso de espaço no pior dos...
No livro de Sakarovitch sobre a teoria dos autômatos, está escrito na introdução à seção sobre racionais no grupo livre que o material apresentado nele estabelece "o fundamento de uma teoria verdadeiramente matemática das linguagens livres de contexto". No entanto, isso não é explicitado, pois...
Uma frase de permutação é uma extensão das definições gramaticais livres de contexto (E) BNF: uma frase de permutação contém produções (ou equivalentes, não terminais) a . Na posição da frase de permutação, gostaríamos de ver cada uma dessas produções exatamente uma vez, mas não estamos...
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...
Na descrição formal do determinística Pushdown Automata, eles permitem movimentos, onde a máquina pode pop ou empurrar símbolos na pilha sem ler um símbolo da entrada. Se esses ϵ movimentos não forem permitidos, e a pilha puder ser modificada apenas uma vez após a leitura de cada símbolo, os...
É uma prova padrão em cursos de autômato que para e | Σ | ≥ 2 que S ( L ) = { w w : w ∈ L } não é uma linguagem livre de contexto.L=Σ⋆L=Σ⋆L = \Sigma^\star|Σ|≥2|Σ|≥2|\Sigma| \ge 2S(L)={ww:w∈L}S(L)={ww:w∈L}S(L) = \{ww : w \in L\} Também é verdade que para qualquer finito , S ( L ) é finito (e,...
Seria bom coletar uma lista de condições que impliquem que uma linguagem L sem contexto seja regular, ou seja, condições da forma: "se um CFG / PDA determinado tiver a propriedade P, suas linguagens serão regulares" A propriedade P não precisa caracterizar os CFGs que geram idiomas regulares. Além...
Considere a seguinte pergunta natural: Dada uma linguagem finita , qual é a menor gramática livre de contexto que gera L ?eueuLeueuL Nós podemos fazer a pergunta mais interessante, especificando uma sequência de línguas , por exemplo L n é o conjunto de todas as permutações de { 1 , ... , n } :...
Depois de ler a pergunta recente "O complemento de livre de contexto?" {www∣...}{www∣...}\{ www \mid ...\}; Lembrei-me de um problema semelhante que não era capaz de refutar: É livre de contexto?L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L = \{...
Idiomas dyck são definidos pela seguinte gramática S → S SD y c k (k)Dyck(k)\mathsf{Dyck}(k) sobre o conjunto de símbolos { ( 1 , … , ( k , ) 1 , … , ) k } . Linguagens intuitivamente dyck são as linguagens de parênteses balanceados de k tipos diferentes. Por exemplo, (S→...
Estou considerando a linguagem de todas as fórmulas lógicas proposicionais satisfatórias, SAT (para garantir que esse alfabeto seja finito, codificaríamos letras proposicionais de alguma maneira adequada [editar: as respostas apontaram que a resposta à pergunta pode não ser robusta em codificações...