Perguntas com a marcação «automata»

Estou revendo algumas anotações sobre autômatos de árvores e estou tentando concluir uma prova de que o professor deixou incompleto. A afirmação é: Deixei A={a,b}A={a,b}A = \{a,b\} e T={t∈TωA∣every path in t contains a finite number of a}T={t∈TAω∣every path in t contains a finite number of a}T = \{t \in …

7 automata  trees  buchi-automata 

Digamos que temos três DFAs. Nós sabemos como OR, AND, ou NOT eles. Mas como alguém os XOR? Não há uma única menção a isso online. xX O RyX O Rz= ( ( x | y) ( ¬ x | y) | z) ( ¬ ( ( x | y) …

7 automata  finite-automata  closure-properties 

Agora estou bastante confiante em como transformar algo em uma máquina de Turing. Agora, minha pergunta é como você converte a MT em um complemento de uma máquina de Turing. Pelo que me lembro no Autômato Finito, complementando-o, você transformaria um estado inicial em um estado final; também, se você …

7 turing-machines  automata  closure-properties 

Considere um idioma regular LLL. Seja um DFA mínimo para e seja um NFA mínimo para (mínimo no sentido do menor número possível de estados para um autômato que reconheça o idioma especificado). Escrevapara o tamanho (número de estados) do autómato . Em geral,pode ser muito menor que(até , pois …

7 formal-languages  automata  finite-automata  descriptive-complexity 

Se Máquinas de Turing são o equivalente de autômato do cálculo , qual é o equivalente de autômato do cálculo ? Suponho que haveria alguma classe de autômatos que se assemelha a uma máquina de Turing, mas com suporte a canais de comunicação ou sinais de algum tipo, mas não …

7 automata  concurrency  machine-models  pi-calculus 

Dado sss como uma string sobre algum alfabeto, qual é o algoritmo mais conhecido para calcular um autômato determinístico de estado finito (DFA) determinístico que aceita qualquer string que contenha sss? Estou interessado principalmente na menor complexidade de tempo, portanto, se você me disser qual é a complexidade mais conhecida …

7 automata  finite-automata  strings  substrings 

Estou fazendo algumas pesquisas sobre os NFAs e problemas de inclusão com eles. Eu sei que, em geral, os problemas de inclusão e a conversão para uma NFA inequívoca são ambos completos do PSPACE. Gostaria de saber, existem subclasses de NFA para as quais elas podem ser decididas com eficiência? …

7 complexity-theory  formal-languages  automata  finite-automata  nondeterminism 

Então, eu tenho tentado resolver isso por um longo tempo e quase sinto que estou dando voltas sobre essa questão. Dado o seguinte NFA: Usando o algoritmo GNFA, obtenha a expressão regular. Entendo que você teria o seguinte para a primeira etapa (adicionando estados vazios): O próximo passo seria remover …

7 automata  finite-automata  regular-expressions  nondeterminism 

Estou construindo um autômato finito determinístico (DFA) para um idioma de todas as strings definidas sobre cujo comprimento é par e o número de s é ímpar. Eu construí cada DFA separadamente e depois combinei:{0,1}{0,1}\{0,1\}111 O procedimento fornecido para combinar DFAs está correto? EDIT: Originalmente escreveu união; realmente fazendo o …

7 automata  regular-languages  finite-automata 

Estou lendo "Uma Introdução às Línguas Formais e Autômatos", escrito por Peter Linz e, depois de ler os cinco primeiros capítulos, enfrento o problema com gramáticas simples e regulares (especialmente lineares à direita), muito parecidas entre si. Que relação existe entre estes? Qual é a diferença? Você pode criar autômatos …

7 regular-languages  automata  context-free  formal-grammars 

Estou estudando diferentes abordagens para a definição de computação com sistemas dinâmicos contínuos. Eu tenho tentado encontrar uma boa introdução à teoria dos "sistemas de transição de Estado", mas não consegui. Alguém conhece uma introdução moderna ao tópico? De particular interesse seria algo relacionado à computabilidade.

7 computability  automata  reference-request  computation-models 

Estou revendo para o meu meio termo e queria postar isso para ver se alguém pode detectar algum erro. Eu devo fazer um PDA que reconheça esse CFG: SR→R1R1R1→0R∣1R∣εS→R1R1R1R→0R∣1R∣ε\qquad\begin{align} S &\to R1R1R1 \\ R &\to 0R \mid 1R \mid \varepsilon \end{align} Aqui está a minha solução; Estou ciente de que …

7 formal-languages  automata  context-free  pushdown-automata