É possível dois contadores padrão ( ) com as seguintes instruções:c1,c2c1,c2c_1,c_2 1) ADD 1 to c_i, GOTO label_j 2) IF c_i = 0 GOTO label_j, OTHERWISE SUB 1 to c_i and GOTO label_k 3) GOTO label_j 4) HALT and ACCEPT|REJECT decida o seguinte idioma: L={n2∣n≥1}L={n2∣n≥1}L = \{ n^2 \mid n \geq 1...
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...
Lema: Assumindo a eta-equivalência, temos isso (\x -> ⊥) = ⊥ :: A -> B. Prova: ⊥ = (\x -> ⊥ x)por eta-equivalência e (\x -> ⊥ x) = (\x -> ⊥)por redução no lambda. O relatório Haskell 2010, seção 6.2 especifica a seqfunção por duas equações: seq :: a -> b -> b seq ⊥ b = ⊥ seq...
Seja uma linguagem, então definimos a congruência sintática como e o quociente monoid é chamado o monoid sintática de .L⊆X∗L⊆X∗L \subseteq X^{\ast}u∼v:⇔∀x,y∈X∗:xuy∈L↔xvy∈Lu∼v:⇔∀x,y∈X∗:xuy∈L↔xvy∈L u \sim v :\Leftrightarrow \forall x, y\in X^{\ast} : xuy \in L \leftrightarrow xvy \in...
Digamos que eu tenho um grande bloco de código que já lexei e analisei. Suponha que apenas um caractere mude; Gostaria de atualizar minha análise, mas como a modificação é muito pequena em comparação com a coisa toda, gostaria de saber se é possível não analisar a coisa toda novamente, mas se...
Um autômato Xor não determinístico (NXA) é sintaticamente um NFA, mas uma palavra é aceita pelo NXA se ele tiver um número ímpar de caminhos de aceitação (em vez de pelo menos um caminho de aceitação no caso de NFA). É fácil ver que, para um idioma regular finito , existe um NFA mínimo que não...
De acordo com o Complexity Zoo , e sabemos que não pode contar, portanto . No entanto, ele não diz se \ mathsf {Reg} \ subseteq \ mathsf {TC ^ 0} ou não. Como não conhecemos \ mathsf {NC ^ 1} \ not \ subseteq \ mathsf {TC ^ 0} , também não sabemos \ mathsf {Reg} \ not \ subseteq \ mathsf {TC ^ 0}...
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 } :...
O que se sabe sobre a classe de idiomas reconhecida por autômatos finitos com o mesmo estado inicial e de aceitação? Este é um subconjunto adequado dos idiomas regulares (já que todos os idiomas contêm a string vazia), mas qual é a sua fraqueza? Existe uma caracterização algébrica simples? O mesmo...
Eu quero definir uma noção de "proximidade" entre duas linguagens regulares de palavras finitas em (e / ou palavras infinitas em Σ w ). A idéia básica é que queremos que dois idiomas estejam próximos se eles não diferirem em muitas palavras. Também poderíamos usar a distância de edição de alguma...
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 = \{...
Eu mudei essa pergunta do stackoverflow onde o id não obteve respostas. Tivemos uma pergunta semelhante se o JSON é regular : JSON e XML são freqüentemente chamados de linguagens livres de contexto - ambos são especificados principalmente por uma gramática formal no EBNF. No entanto, isso é válido...
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→...
Alguém pode fornecer um exemplo de dois autômatos não determinísticos mínimos (NFA) equivalentes (reconhecendo a mesma linguagem) que não são
Provavelmente, isso é bem simples, mas considere o problema padrão de correspondência posterior: Dado e β 1 , ... , β N , encontrar uma sequência de índices i 1 , ... , i K de tal modo que ácido a i 1 ⋯ α i K = β i 1 ⋯ β i K . Isso é, obviamente, indecidível.α1,…,αNα1,…,αN\alpha_1, \ldots,...
Estou procurando um idioma L com as seguintes propriedades: L não deve ser livre de contexto. O complemento de L não deve ser livre de contexto. (Tudo o que você vê nos livros didáticos como exemplos principais de linguagens sem contexto parece falhar neste segundo requisito.) Por exemplo, eu sei...
Greibach notoriamente definida uma linguagem de , o chamado versão não-determinístico de D 2 , de tal modo que qualquer CFL é uma imagem inversa de mórfica H . Existe uma afirmação semelhante com o DCFL, possivelmente com alguma restrição nos morfismos permitidos?HHHD2D2D_2HHH (Ver, por exemplo,...
É sabido que o complemento de é livre de contexto. Mas e o complemento de ?{ww∣w∈Σ∗}{ww∣w∈Σ∗}\{ ww \mid w\in \Sigma^*\}{www∣w∈Σ∗}{www∣w∈Σ∗}\{ www \mid w\in
Atualmente, estou fazendo uma pesquisa em Linguagem Formal envolvendo classes de idiomas acima do Regular, mas abaixo do Contexto Livre. Estou olhando para coisas como máquinas multicounter com limite de reversão, máquinas de balcão de pilha única, CFLs determinísticas, etc. Gostaria de saber se...
Digamos que um tenha um idioma , mas não se sabe quais strings são realmente parte do idioma. Tudo o que se tem é uma vista finita da língua: um conjunto finito de cordas Um ⊆ L que são conhecidos por estar na língua, e um conjunto finito de cadeias B ⊆ ( Σ * ∖ G ) que são conhecidos por não ser no...