Estou trabalhando com um algoritmo de correspondência de padrões que gera um autômato de estado finito acíclico que aceita uma sequência de texto especificada e todas as suas substrings. O algoritmo FSA está sendo executado em uma representação simbólica de um fluxo de música (por exemplo, dados...
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 < n
O algoritmo de Brzozowski pode ser estendido aos autômatos de Moore, mas sua complexidade de tempo é exponencial em geral. Existe algum outro algoritmo para minimizar os autômatos de Moore? Quais são os tempos de execução desses algoritmos, se
Existe uma maneira de executar a análise difusa (aceita seqüências de caracteres mesmo com erros de digitação a uma certa distância de edição), com um DFA e um Autômato Levenshtein construído em tempo de execução da palavra de entrada. É possível fazer algo semelhante com um analisador Earley?...
Estou aprendendo a converter NFAs em DFAs e quero ter certeza de que estou fazendo o certo. Obviamente, voltar na outra direção não é uma coisa. Alguém conhece um algoritmo para verificar se um DFA é equivalente a um
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
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...
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...
Considere uma máquina de estados finitos como de costume, mas a cada transição, ela também pode atualizar um contador inteiro adicionando ou subtraindo um número. Digamos que uma função de transição da forma se mova para o novo estado p e adicione k ao contador, onde k ∈ Z (para que k possa ser...
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...
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...
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 }L/R={w∣∃x∈Rs.twx∈L}L / R = \{ w \mid \exists x \in R \;\text{s.t}\; wx \in L\} Eu sei...
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 de o tipo . Se houver um ciclo do tipo , em que são...
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...
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...
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 e...
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...
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...
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 de se tornar um estado...
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á...