Perguntas com a marcação «finite-automata»

Diz-se que a interseção de uma linguagem livre de contexto L com uma linguagem regular M é sempre livre de contexto. Entendi a prova de construção entre produtos, mas ainda não entendo por que ela é livre de contexto, mas não regular. O idioma gerado por essa interseção possui seqüências …

16 regular-languages  context-free  finite-automata  formal-grammars 

Recentemente, uma pergunta interessante foi feita e, posteriormente, excluída. Para um idioma comum , sua complexidade do DFA é o tamanho do DFA mínimo que o aceita e sua complexidade de NFA é o tamanho do NFA mínimo que o aceita. É sabido que existe uma separação exponencial entre as …

15 regular-languages  finite-automata 

O algoritmo de minimização do DFA de Brzozowski cria um DFA mínimo para o DFA :GGG reverter todas as arestas em , tornando o estado inicial um estado de aceitação e os estados de aceitação iniciais, para obter um NFA N ′ para o idioma reverso,GGGN′N′N' usando construção de conjunto …

15 algorithms  finite-automata  runtime-analysis 

Dado um idioma , defina o conjunto de comprimentos de como o conjunto de comprimentos de palavras em : LLLLLLLLLLS(L)={|u|∣u∈L}LS(L)={|u|∣u∈L}\mathrm{LS}(L) = \{|u| \mid u \in L \} Quais conjuntos de números inteiros podem ser o comprimento de um idioma comum?

15 formal-languages  computability  regular-languages  finite-automata 

Eu tenho essa pergunta [engraçada] em mente. Por que o autômato finito não determinístico é chamado não determinístico enquanto definimos as transições para entradas. Bem, embora existam transições múltiplas e epsilon , elas são definidas, o que significa que a máquina é determinística para essas transições. O que significa que …

14 finite-automata  nondeterminism 

Dado um alfabeto Σ={a,b}Σ={uma,b}\Sigma = \{ a,b \} , quantas linguagens regulares diferentes existem que podem ser aceitas por um autômato finito não-determinístico do estado ?nnn Como exemplo, vamos considerar . Temos então configurações de transição diferentes e configurações diferentes de estado inicial e final, portanto, temos um limite superior …

14 formal-languages  regular-languages  finite-automata  combinatorics 

Sei que podemos minimizar os DFAs localizando e mesclando estados equivalentes, mas por que não podemos fazer o mesmo com os NFAs? Não estou procurando uma prova ou algo assim - a menos que uma prova seja mais simples de entender. Eu só quero entender intuitivamente por que a minimização …

14 complexity-theory  finite-automata  nondeterminism 

Quero saber se o seguinte problema é decidível: Instância: um NFA A com n estados Pergunta: Existe algum número primo p tal que A aceite alguma sequência de comprimento p. Minha crença é que esse problema é indecidível, mas não posso provar. O decisor pode facilmente ter um algoritmo para …

14 computability  finite-automata 

Estou estudando linguagens formais e sistemas de bases de produção (sistemas de bases de regras) e estou um pouco confuso sobre por que essas duas palavras "produção" e "regra" significam a mesma coisa em tantos contextos na Ciência da Computação. No idioma inglês, eles não parecem ter o mesmo significado. …

13 formal-languages  terminology  automata  finite-automata  formal-grammars 

Amanhã é a minha apresentação e quero esclarecer meus conceitos ... Eu li no DFA: "Para cada estado, a transição em todos os símbolos possíveis (alfabeto) deve ser definida". Para cada estado, a transição de todos os símbolos possíveis é obrigatória no DFA? Se não, por favor, dê alguns exemplos?

13 automata  finite-automata  nondeterminism 

Comecei a ler sobre teoria da computação. Se compararmos o que é mais poderoso (na aceitação de strings), ambos são iguais. Mas e quanto à eficiência? O DFA será rápido em comparação com o NFA, pois possui apenas uma borda de saída e não haverá ambiguidade. Mas no caso da …

13 finite-automata  efficiency  nondeterminism 

Sou programador com domínio de autômatos, mas não de lógica. Li nos jornais que os dois estão muito relacionados. Autômatos finitos determinísticos (DFA), autômatos em árvore e autômatos visivelmente pushdown estão todos relacionados à lógica monádica de segunda ordem (MSO). Embora eu entenda que os autômatos e as pessoas (nos …

13 automata  finite-automata  logic  coq  automated-theorem-proving 

O objetivo é criar o DFA a partir de uma expressão regular e o uso de "Exp regular> NFA> conversão do DFA" não é uma opção. Como alguém deveria fazer isso? Fiz essa pergunta ao nosso professor, mas ele me disse que podemos usar a intuição e se recusou a …

12 automata  finite-automata  regular-expressions  simulation 

Na foto abaixo, estou tentando descobrir o que exatamente esse NFA está aceitando. O que me confunde é o salto em .ϵϵ\epsilonq0q0q_0 Se um for inserido, o sistema passa para e (o estado de aceitação)?000q0q0q_0 q1q1q_1 Se um for inserido, o sistema passa para e ?111q1q1q_1q2q2q_2 O sistema passa para …

12 automata  finite-automata  nondeterminism 

Pergunto-me, qual é a complexidade de tempo para determinar o vazio para DFAs bidirecionais? Ou seja, autômatos finitos que podem retroceder na fita de entrada somente leitura. Segundo a Wikipedia, eles são equivalentes aos DFAs, embora o DFA equivalente possa ser exponencialmente maior. Encontrei complexidade de estado para os complementos …

12 complexity-theory  formal-languages  reference-request  automata  finite-automata