Perguntas com a marcação «automata»

A lógica temporal linear e os autômatos determinísticos de Büchi são incomparáveis: o DBA não pode expressar e LTL não pode expressar "pelo menos cada letra ímpar é 'a'" . Mas, às vezes, é interessante saber se a linguagem de um DBA pode ser expressa em LTL.FG aFGumaFGa Eu preciso …

10 logic  automata  linear-temporal-logic  buchi-automata 

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 

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 

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 

Eu tenho lido alguns artigos formais de teoria da linguagem e me deparei com um termo que não entendo. O documento geralmente se refere a um conjunto "efetivamente fechado sob interseção" ou outras operações. O que "efetivamente" significa aqui? Como isso difere do fechamento normal? Para referência, o artigo em …

9 formal-languages  terminology  computability  automata  closure-properties 

Atualmente, estou lendo o livro Introdução à Teoria da Computação (2 ou 3 Ed.), De Michael Sipser , e me deparei com uma pergunta no Capítulo 1 - Linguagens Regulares , ou seja, quando o autor está apresentando a ideia de prova do Teorema 1.49 - "A classe de idiomas …

8 regular-languages  automata  finite-automata  nondeterminism 

Estou tendo problemas para tentar determinar se todos os números quadrados (1, 4, 9, 16, ...) escritos em formato binário (1, 100, 1001, ...) são uma linguagem comum. Após algumas tentativas de encontrar um padrão comum desses números, descobri que, para qualquer número quadrado n2n2n^2, n2mod4n2mod4n^2 mod 4é igual a …

8 formal-languages  regular-languages  automata  finite-automata 

Após minha aula de Teoria da Computação hoje, essa pergunta surgiu em minha mente: se um problema pode ser resolvido por um autômato finito, esse problema pertence a P. Eu acho que é verdade, já que os autômatos reconhecem linguagens muito simples, portanto todas essas linguagens teriam algoritmos polinomiais para …

8 complexity-theory  automata  finite-automata  polynomial-time 

Dado um DFA, A, deixe L (A) denotar o número de palavras que A aceita. Eu acho que é fácil calcular L (A): traduza a codificação de A em uma expressão regular. Se a estrela Kleene aparecer em qualquer lugar da expressão - o idioma é infinito. Senão: percorra e …

8 regular-languages  automata  regular-expressions 

Não consegui encontrar um gráfico representando ou respondendo à seguinte pergunta: Existe uma relação direta entre a complexidade de um algoritmo (como o melhor / pior caso de classificação rápida) e a classe de autômatos que podem implementar o algoritmo. Por exemplo, existe uma variedade de complexidade que os autômatos …

8 complexity-theory  automata  reference-request  complexity-classes 

Eu tenho um autômato finito sem estados finais / de aceitação, então F está vazio. Como faço para minimizá-lo? Fiz isso em um teste e não sabia como abordar o problema porque o autômato não tinha estados de aceitação. Um único estado inicial com todas as transições em si é …

8 automata  finite-automata 

é possível minimizar os autômatos de empilhamento? Se não, por quê? É porque, para minimização, as classes de equivalência precisam ter um índice finito e não podemos garantir isso para o CFG?

8 computability  automata  pushdown-automata