Perguntas com a marcação «fl.formal-languages»

P⊆CSLP⊆CSLP\subseteq CSLP⊈CSLP⊈CSLP\not\subseteq CSL PPP é o conjunto de todos os idiomas decidíveis em tempo polinomial em uma máquina de Turing determinística, e CSLCSLCSL é a classe de linguagens sensíveis ao contexto, conhecida por ser equivalente a , as linguagens decididas por autômatos com limites lineares.NSPACE(O(n))NSPACE(O(n))NSPACE(O(n)) Para muitas perguntas abertas, há …

10 cc.complexity-theory  fl.formal-languages  polynomial-time 

Declaração do problema: Seja MMM um autômato pushdown (potencialmente não determinístico) e seja AA\cal A seu alfabeto de entrada. Existe uma palavra w∈A∗w∈A∗w \in \cal A^* st |w|≤k|w|≤k|w| \leq k que é aceito por MMM ? Esse problema está completo? Foi estudado? Existe um algoritmo que permita encontrar essa palavra?

10 cc.complexity-theory  np-hardness  fl.formal-languages  automata-theory 

Existem vários modelos diferentes para definir transformações entre idiomas. Transdutores de estado finito e transformações de gráficos definíveis pelo MSO sobre gráficos de cadeias de caracteres são as duas com as quais estou melhor familiarizado. Sabemos que os transdutores de estado finito bidirecional (que são mais expressivos que seus equivalentes …

9 fl.formal-languages 

Se existem resultados na resolução de problemas de linguagens formais usando análise matemática, matemática contínua. Por exemplo, resolvendo o problema de não vazio de interseção para uma linguagem livre de contexto e uma linguagem regular.

9 fl.formal-languages  automata-theory  context-free 

Seja um alfabeto finito. Para um determinado idioma L ⊆ A * o monoid sintática M ( L ) é uma noção bem conhecida na teoria da linguagem formal. Além disso, um monóide M reconhece uma linguagem L se existir um morfismo φ : A ∗ → M tal que …

9 fl.formal-languages  automata-theory  regular-language  algebra  monoid 

Qual é a proporção de CFGs ambíguos para todos os CFGs ? Como os dois conjuntos são infinitamente contáveis, a proporção não está bem definida. Mas e a densidade assintótica : limn ↦ ∞# ambiguous CFG of size<n# CFG of size<nlimn↦∞# ambiguous CFG of size<n# CFG of size<n\lim_{n \mapsto \infty}\frac …

9 fl.formal-languages  grammars  context-free 

Gostaria de saber por que, para o reconhecimento de linguagens sem contexto, apenas os autômatos não determinísticos de push-down (DPA = NPDA) funcionam. Por que os autômatos push-down determinísticos (DPDA) não reconhecem esses idiomas?

9 fl.formal-languages  automata-theory  context-free 

Estou aprendendo a teoria algébrica da análise. Meu primeiro problema é identificar exemplos de semicondutores específicos da teoria formal da linguagem. Aqui está uma tentativa de construir dois exemplos. 1 Dada a gramática CNF, os elementos de semiring são conjuntos de símbolos terminais e não terminais com as operações: i) …

9 fl.formal-languages 

Eu queria saber sobre quais conjuntos de idiomas são gerados por restrições de expressões regulares. Supondo que todas as restrições tenham um símbolo constante para cada elemento de e concatenação. Então, oito classes podem ser formadas pela presença ou ausência de complemento / negação, alteração / união e a estrela …

9 fl.formal-languages  regular-expressions 

Os analisadores de gráficos podem ser implementados com base na forma normal de Chomsky ou diretamente com base nas regras de produção. Vamos, por enquanto, supor que temos um analisador de gráfico CYK que usa a forma normal de Chomsky. A binarização não está definida exclusivamente. Isso afeta o desempenho …

9 fl.formal-languages  parsing 

Existem permutações e tamanho polinomial (em | w | = n ) gramática livre de contexto que descreve a linguagem finita { w π 1 ( w ) π 2 ( w ) } sobre o alfabeto { 0 , 1 } ?π1,π2π1,π2\pi_1,\pi_2|w|=n|w|=n|w|=n{wπ1(w)π2(w)}{wπ1(w)π2(w)}\{w \pi_1(w) \pi_2(w)\}{ 0 , 1 }{0,1}\{0,1\} ATUALIZAÇÃO: …

9 fl.formal-languages  grammars  context-free 

Na minha experiência, linguagens sensíveis ao contexto e autômatos limitados lineares são freqüentemente ignorados ou ignorados nos cursos de teoria da computabilidade e são deixados de fora de alguns livros de texto notáveis, embora os autômatos finitos e pushdown recebam muita atenção. Certamente deve haver uma boa razão para que …

9 computability  fl.formal-languages  automata-theory 

É simples ver que os poderes de 2 sobre o alfabeto {0,1} são regulares porque é uma expressão regular para ele.10∗10∗10^* Mas os poderes de 2 representados no ternário parecem não ser regulares. É difícil aplicar classes de lema ou resíduo de bombeamento, pois parece haver muito pouco padrão entre …

9 automata-theory  fl.formal-languages 

A conjectura de Cerny é a afirmação de que qualquer autômato de sincronização com nnn estados tem uma palavra de duração sincronizada no máximo (n−1)2(n−1)2(n-1)^2 . O melhor limite superior atual para o comprimento de uma palavra sincronizada é O(n3)O(n3)O(n^3) . Digamos que dois estados sejam mesclados por uma palavra …

8 fl.formal-languages  automata-theory  open-problem  dfa  synchronization 

Estou confuso sobre o exemplo dado no artigo da Wikipedia sobre gramática sensível ao contexto: https://en.wikipedia.org/wiki/Context-sensitive_grammar Disclamer : Eu já mudei a seção discutida no artigo da wikipedia, portanto, o estado atual do artigo será diferente do que estou discutindo nesta pergunta. A versão original está aqui: https://en.wikipedia.org/w/index.php?title=Context-sensitive_grammar&oldid=747616366 A seguinte …

8 fl.formal-languages  grammars