Perguntas relacionadas a linguagens formais, gramáticas e teoria de autômatos
Converter expressões regulares em NFA (mínimo) que aceitam o mesmo idioma é fácil com algoritmos padrão, por exemplo, o algoritmo de Thompson . A outra direção parece ser mais entediante e, às vezes, as expressões resultantes são confusas. Quais algoritmos existem para converter NFA em expressões...
As pessoas costumam dizer que os analisadores LR (k) são mais poderosos que os analisadores LL (k) . Essas declarações são vagas na maioria das vezes; em particular, devemos comparar as classes para um fixo ou a união sobre todos os k ? Então, como está realmente a situação? Em particular, estou...
Existem muitos métodos para provar que um idioma não é regular , mas o que preciso fazer para provar que um idioma é regular? Por exemplo, se me é dado que é regular, como posso provar que o a seguir também é
Veja o final deste post para obter alguns esclarecimentos sobre as definições de autômatos de min-heap. Pode-se imaginar o uso de uma variedade de estruturas de dados para armazenar informações para uso por máquinas de estado. Por exemplo, autômatos push-down armazenam informações em uma pilha e...
Parece que neste site, as pessoas geralmente corrigem outras por "algoritmos" e "problemas" confusos. Qual é a diferença entre estes? Como sei quando devo considerar algoritmos e problemas? E como eles se relacionam com o conceito de linguagem na teoria formal da
Vamos chamar uma linguagem livre de contexto determinística se, e somente se, puder ser aceita por um autômato push-down determinístico, e não determinística caso contrário. Vamos chamar uma linguagem sem contexto inerentemente ambígua, se e somente se todas as gramáticas sem contexto que geram a...
Como as linguagens do Tipo 3 da Hierarquia Chomsky podem ser reconhecidas por uma máquina de estado sem memória externa (por exemplo, um autômato finito), o Tipo 2 por uma máquina de estado com uma única pilha (por exemplo, um autômato push-down) e o Tipo 0 por uma máquina de estado com duas pilhas...
Acabei de concluir o primeiro capítulo da Introdução à Teoria da Computação, de Michael Sipser que explica o básico dos autômatos finitos. Ele define uma linguagem regular como qualquer coisa que possa ser descrita por um autômato finito. Mas não consegui encontrar onde ele explica por que um...
Para um idioma regular , seja c n ( L ) o número de palavras em L de comprimento n . Utilizando a forma canônica de Jordan (aplicada à matriz de transição não anotada de alguns DFA para L ), pode-se mostrar que, para números grandes o suficiente n , c n ( L ) = k ∑ i = 1 P i ( n ) λ n i , em que...
A Wikipedia e outras fontes que eu encontrei listam o voidtipo de C como um tipo de unidade, em vez de um tipo vazio. Acho isso confuso, pois me parece que voidmelhor se ajusta à definição de um tipo vazio / inferior. Nenhum valor habita void, até onde eu sei. Uma função com um tipo de retorno de...
Eu tenho um conjunto de pares. Cada par tem a forma (x, y) tal que x, y pertencem a números inteiros do intervalo [0,n). Portanto, se n é 4, tenho os seguintes pares: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Eu já tenho os pares. Agora, eu tenho que construir uma combinação usando n/2pares de...
Existem muitas técnicas para provar que uma linguagem não é livre de contexto, mas como posso provar que uma linguagem é livre de contexto? Que técnicas existem para provar isso? Obviamente, uma maneira é exibir uma gramática sem contexto para o idioma. Existem técnicas sistemáticas para encontrar...
O seguinte contexto de linguagem é livre? L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L = \{ uxvy \mid u,v,x,y \in \{ 0,1 \}^+, |u| = |v|, u \neq v, |x| = |y|, x \neq y\} Conforme apontado por sdcvvc, uma palavra nesse idioma também pode ser...
Aqui está uma conjectura para expressões regulares: Para a expressão regular , deixe o comprimento | R | seja o número de símbolos nele, ignorando parênteses e operadores. Por exemplo | 0 ∪ 1 | = | ( 0 ∪ 1 ) ∗ | = 2RRR| R ||R||R|| 0∪1 | = | (0∪1 )∗| =2|0∪1|=|(0∪1)∗|=2|0 \cup 1| = |(0 \cup 1)^*|...
Procurei na net uma resposta para essa pergunta e parece que todo mundo sabe implicitamente a resposta, exceto eu. Presumivelmente, isso ocorre porque as únicas pessoas que se importam são aquelas que tiveram educação superior sobre o assunto. Eu, por outro lado, fui jogado no fundo do poço por um...
Sabemos que os DFAs são equivalentes aos NFAs em poder de expressividade; também existe um algoritmo conhecido para converter NFAs em DFAs (infelizmente agora conheço o inventor desse algoritmo), o que, na pior das hipóteses, nos dá estados, se nosso NFA tivesse estados. S2S2S2^SSSS Minha pergunta...
Esta questão foi migrada do Theoretical Computer Science Stack Exchange porque pode ser respondida no Computer Science Stack Exchange. Migrou há 6 anos . Encontrei muitas definições de linguagens recursivas e recursivamente enumeráveis. Mas eu não conseguia entender...
A lógica construtivista é um sistema que remove a lei do meio excluído, bem como a dupla negação, como axiomas. É descrito na Wikipedia aqui e aqui . Em particular, o sistema não permite provas por contradição. Eu estou querendo saber, alguém está familiarizado com como isso afeta os resultados em...
EPAL, o idioma dos palíndromos pares, é definido como o idioma gerado pela seguinte gramática inequívoca e livre de contexto: S→aaS→aaS \rightarrow a a S→bbS→bbS \rightarrow b b S→aSaS→aSaS \rightarrow a S a S→bSbS→bSbS \rightarrow b S b O EPAL é o 'bane' de muitos algoritmos de...
Como o título diz, passei algumas horas no final de semana passado tentando me convencer sobre a classe de idiomas correspondida por expressões regulares compatíveis com Perl, excluindo qualquer operador correspondente que permita executar código arbitrário dentro do padrão . Se você não sabe o...