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

Ou pelo menos gere um conjunto de strings que um NFA aceite, para que eu possa alimentá-lo no outro NFA. Se eu fizer uma pesquisa em todos os caminhos da NFA, isso funcionará? Embora isso demore muito tempo.

10 algorithms  regular-languages  finite-automata 

Eu estava brincando com a demo do Google Blocky's Maze e lembrei da regra antiga de que, se você quiser resolver um labirinto, mantenha a mão esquerda na parede. Isso funciona para qualquer labirinto conectado simples e pode ser implementado por um transdutor finito. Deixe nosso robô ser representado por …

10 automata  finite-automata  artificial-intelligence 

A questão está praticamente no título. Existe um momento em que algum idioma pode ser aceito por um DFA mínimo com n estados, mas L R , a reversão de L , pode ser aceito por um DFA com m estados, em que m &lt; n ?euLLnnneuRLRL^ReuLLmmmm&lt;nm&lt;nm<n

10 formal-languages  reference-request  automata  finite-automata 

Como criar um exemplo de um DFA que possui 2n2n2^n estados em que o NFA equivalente possui nnn estados. Obviamente, o conjunto de estados do DFA deve conter todos os subconjuntos do conjunto de estados da NFA, mas não sei como começar. Alguma sugestão para me colocar no caminho certo?

10 automata  finite-automata 

Estou trabalhando no livro Sipser (2ª edição) e me deparei com este exemplo, que não entendo. No livro, afirma que esse NFA aceita a string vazia, .ϵϵ\epsilon Alguém poderia me explicar por que esse é o caso? Meu entendimento é que passará para que não é um estado de aceitação.ϵϵ\epsilonq3q3q_3

9 regular-languages  finite-automata  nondeterminism 

DFA, NFA e epsilon NFA, todos os três nos permitem representar uma linguagem regular específica. Com qualquer uma dessas representações, podemos chegar à mesma expressão regular, então por que precisamos estudar todas as três formas de representação de autômatos finitos? Pode haver alguma explicação sobre o que a NFA pode …

9 automata  finite-automata  education 

Podemos formar o DFA aceitando números binários divisíveis por .nnn Por exemplo, o DFA que aceita números binários divisíveis por 2 pode ser formado da seguinte maneira: Da mesma forma, o DFA que aceita números binários divisíveis por 3 pode ser formado da seguinte maneira: Podemos seguir um procedimento bem …

9 regular-languages  automata  finite-automata  regular-expressions 

Deixe uma sequência de entrada ser dada como . Então, se um NFA está atualmente no estado (e leu a entrada até o alfabeto ), antes de ler o próximo símbolo de entrada, o NFA se divide em dois NFA, um no estado outro no , se houver uma transição …

9 turing-machines  finite-automata  pushdown-automata  computation-models  nondeterminism 

Parece que me lembro de uma turma de graduação que, para uma Máquina de Turing com fita finita, sempre existirá um Autômato de Estado Finito correspondente, mas não consegui encontrar isso confirmado em nenhum lugar da Internet. Este é realmente o caso ou estou me lembrando errado?

9 turing-machines  finite-automata 

Estou gerando DFAs aleatórios para testar um algoritmo de redução de DFA neles. O algoritmo que estou usando agora é o seguinte: para cada estado , para cada símbolo no alfabeto c , adicione δ ( q , c ) a algum estado aleatório. Cada estado tem a mesma probabilidade …

9 algorithms  finite-automata  randomness  pseudo-random-generators  random-graphs 

Recentemente, fiz uma pergunta no Math SE. Nenhuma resposta ainda. Esta questão está relacionada a essa pergunta, mas mais detalhes técnicos sobre ciência da computação. Dado dois DFAs e que o conjunto de estados, o alfabeto de entrada e a função de transição de e são iguais, os estados iniciais …

9 formal-languages  reference-request  finite-automata 

Comecei a estudar autômatos não determinísticos usando o livro de Hopcroft e Ullman . Estou preso em um problema que achei muito interessante: Forneça um autômato finito não determinístico, aceitando todas as cadeias que tenham o mesmo valor quando avaliadas da esquerda para a direita e da direita para a …

9 formal-languages  automata  regular-languages  finite-automata  nondeterminism 

Existe um teorema que diz que: Dado um autômato de estado finito com estados, se existe uma string cujo comprimento satisfaz , o idioma aceito pelo autômato é infinito.nnnWWwn≤|w|≤2n−1n≤|w|≤2n−1n \leq |w| \leq 2n-1 Eu entendo a restrição , mas não entendo por que a restrição está lá.|w|≥n|w|≥n|w| \geq n|w|≤2n−1|w|≤2n−1|w| \leq …

9 automata  finite-automata 

Estou preso resolvendo o próximo exercício: Argumente que se é livre de contexto e R é regular, então L / R = { w ∣ ∃ x ∈ ReuLLRRR (ou seja, oquociente certo) é livre de contexto.L / R = { w ∣ ∃ x ∈ Rstw x ∈ L …

9 formal-languages  context-free  finite-automata  closure-properties  pushdown-automata 

Dada qualquer linguagem regular infinita eueuL, como posso provar que eueuL pode ser particionado em 2 idiomas regulares infinitos separados eu1,eu2eu1,eu2L_1, L_2? Isso é:eu1∪eu2= Leu1∪eu2=euL_1 \cup L_2 = L, eu1∩eu2= ∅eu1∩eu2=∅L_1 \cap L_2 = \varnothinge eu1eu1L_1 e eu2eu2L_2 são infinitos e regulares. Até agora, pensei em: usando o lema de …

9 formal-languages  regular-languages  finite-automata