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...
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 do NFA é...
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...
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...
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...
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 NFA, temos que verificar...
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...
Se não, então o que significa quando, para algum estado qqq e algum símbolo umaumaa , δ( q, Um )δ(q,uma)\delta(q, a) não
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 fornecer qualquer explicação. Então,...
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...
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...
Eu tenho um problema simples de criar um DFA que aceite todas as entradas começando com letras duplas (aa, bb) ou terminando com letras duplas (aa, bb), dado que é o conjunto de determinado idioma.Σ={a,b}Σ={a,b}\Sigma =\{a, b\} Tentei resolvê-lo de uma maneira indireta: Gerando uma expressão...
Esta pode ser uma pergunta boba. Parece claro que um FSA, por ser finito, pode contar apenas o número de símbolos em sua sequência de entrada até um número limitado pelo número de seus estados. Mas agora suponha que damos ao FSA recursos de saída (por exemplo, impressão). Seria então muito fácil...
Minimizando autómatos finitos determinista (AFDs) é um problema que tem sido bem estudada na literatura, e vários algoritmos foram propostos para resolver o seguinte problema: Dado um DFA , calcular um mínimo DFA correspondente aceite a mesma linguagem como um . A maioria desses algoritmos é...
Dado dois conjuntos de cadeias sobre o alfabeto Σ , podemos calcular o menor autômato de estado finito determinístico (DFA) M de modo que A ⊆ L ( M ) e L ( M ) ⊆ Σ ∗ ∖ B ?A , BA,BA,BΣΣ\SigmaMMMA ⊆ L ( M)UMA⊆eu(M)A \subseteq L(M)L ( M) ⊆ Σ∗∖ Beu(M)⊆Σ∗∖BL(M) \subseteq \Sigma^*\setminus B Em outras...
Fiquei com a impressão de que nossos computadores, por serem finitos, não são mais poderosos que as máquinas de estado finito (extraordinariamente grandes). Entretanto, as Máquinas de Turing com Limite Linear também são finitas, mas parece que as Linguagens Regulares são estritamente um subconjunto...
Então, considerando dois DFAs, o problema de descobrir se eles geram o mesmo idioma é um problema Decidable? Eu já sei que a Igualdade de duas CFL não é Decidable mas e a igualdade de dois DFAs? considerando que a maioria dos problemas com os DFAs é decidível, isso também é...
No trabalho, fui encarregado de deduzir algumas informações de tipo sobre uma linguagem dinâmica. Reescrevo seqüências de instruções em letexpressões aninhadas , da seguinte maneira: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...
Se bem entendi, a NFA tem o mesmo poder expressivo que as expressões regulares. Freqüentemente, é fácil ler expressões regulares equivalentes do NFA: você traduz ciclos para estrelas, junções como alternativas e assim por diante. Mas o que fazer neste caso: [ fonte ] Os ciclos sobrepostos...
Descreva um idioma comum que não possa ser aceito por nenhum DFA que possua apenas três estados. Não sei muito bem por onde começar e queria saber se alguém poderia me dar algumas dicas ou conselhos. Entendo que o lema de bombeamento pode ser usado para provar que um idioma não é regular, mas,...