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

Teoria de autômatos, incluindo máquinas abstratas, gramáticas, análise, inferência gramatical, transdutores e técnicas de estado finito

11
Qual é a iluminação que devo atingir depois de estudar autômatos finitos?
Estive revisando a Teoria da Computação por diversão e essa pergunta me incomoda há um tempo (engraçado nunca pensei nisso quando aprendi a Teoria dos Autômatos na minha graduação). Então, "por que" exatamente estudamos autômatos finitos determinísticos e não determinísticos (DFA / NFAs)? Então, aqui estão algumas respostas que eu …


10
Computadores reais têm apenas um número finito de estados; então, qual é a relevância das máquinas de Turing para computadores reais?
Computadores reais têm memória limitada e apenas um número finito de estados. Portanto, eles são essencialmente autômatos finitos. Por que os cientistas teóricos da computação usam as máquinas de Turing (e outros modelos equivalentes) para estudar computadores? Qual é o sentido de estudar esses modelos muito mais fortes em relação …





1
Hierarquia racional de Eilenberg de autômatos e linguagens não racionais - onde está agora?
No prefácio de seus livros muito influentes Automata, Languages ​​and Machines (Volumes A, B), Samuel Eilenberg prometeu tentativamente os Volumes C e D lidando com "uma hierarquia (chamada hierarquia racional) dos fenômenos não racionais ... usando relações racionais como uma ferramenta para comparação. Conjuntos racionais estão no fundo dessa hierarquia. …

2
É {
É o idioma { } ou não livre de contexto?aibjck | i≠j,i≠k,j≠kaibjck | i≠j,i≠k,j≠ka^{i}b^{j}c^{k} ~|~ i \neq j, i \neq k, j \neq k Percebi que encontrei quase todas as variantes dessa questão com diferentes condições sobre a relação entre i, j e k, mas não essa. Meu palpite é …

4
Existem máquinas “pequenas” que podem corresponder eficientemente às expressões regulares?
É sabido que uma expressão regular pode ser reconhecida por um autômato finito não determinístico de tamanho proporcional à expressão regular ou por uma FA determinística que é potencialmente exponencialmente maior. Além disso, dada uma string e uma expressão regular , o NFA pode testar a associação em tempo proporcional …



2
Condições para a universalidade da NFA
Considere um autômato finito não determinístico A=(Q,Σ,δ,q0,F)A=(Q,Σ,δ,q0,F)A = (Q, \Sigma, \delta, q_0, F) e uma função f(n)f(n)f(n) . Adicionalmente, definimos Σ≤k=⋃i≤kΣiΣ≤k=⋃i≤kΣi\Sigma^{\leq k} = \bigcup_{i \leq k} \Sigma^i . Agora vamos analisar a seguinte declaração: Se Σ≤f(|Q|)⊆L(A)Σ≤f(|Q|)⊆L(A)\Sigma^{\leq f(|Q|)} \subseteq L(A) , então L(A)=Σ∗L(A)=Σ∗L(A) = \Sigma^* . É fácil mostrar que, para …

4
Existe um modelo de computação não completo de Turing, cujo problema de parada é indecidível?
Não consigo pensar em nenhum modelo desse tipo, talvez alguma forma de cálculo lambda digitado? algum autômato celular elementar? Isso quase refutaria o "Princípio da Equivalência Computacional" de Wolfram: Quase todos os processos que não são obviamente simples podem ser vistos como cálculos de sofisticação equivalente


Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.