Perguntas com a marcação «automata»

No meu curso de teoria da computação, muitos dos nossos problemas envolvem o uso de indução no comprimento da string de entrada para provar declarações sobre autômatos finitos. Eu entendo a indução matemática, no entanto, quando as cordas entram em jogo, eu fico tropeçando de verdade. Eu realmente apreciaria se …

20 automata  finite-automata  proof-techniques  reference-question  induction 

Todos os autômatos finitos não determinísticos podem ser transformados em autômatos finitos determinísticos equivalentes. No entanto, um autômato finito determinístico permite apenas uma única seta por símbolo apontando de um estado. Portanto, seus estados devem ser membros do conjunto de estados da NFA. Isso parece indicar que o número de …

20 automata  finite-automata  nondeterminism 

Li a página da wikipedia da regra 110 nos autômatos celulares e sei mais ou menos como elas funcionam (um conjunto de regras decide onde desenhar o próximo 1 ou 0). Acabei de ler que Turing está completo, mas não consigo nem imaginar como você 'programaria' na 'regra 110'?

19 computability  automata  turing-completeness  cellular-automata 

Deixei L = { an∣ ∃p ≥ n p, p + 2 são primos } . L={an∣∃p≥n p, p+2 are prime}.\qquad L = \{a^n \mid \exists_{p \geq n}\ p\,,\ p+2 \text{ are prime}\}. é regular?euLL Esta questão parecia suspeita à primeira vista e eu percebi que ela está conectada à …

19 formal-languages  automata  regular-languages  finite-automata 

Estou preso na seguinte pergunta: "Linguagens regulares são precisamente aquelas aceitas por autômatos finitos. Dado esse fato, mostre que se a linguagem é aceita por algum autômato finito, então também é aceita por algum finito; consiste em todas as palavras de invertido. "L R L R LeuLLeuRLRL^{R}euRLRL^{R}euLL

19 formal-languages  regular-languages  automata  finite-automata 

Uma máquina de Turing sem a capacidade de escrever em células em branco é menos poderosa que a Turing padrão? Acho que a resposta é sim, mas não consigo encontrar um cálculo que a máquina padrão de Turing possa fazer, mas esta máquina não pode. Alguma ideia?

18 formal-languages  turing-machines  computability  automata 

Uma gramática livre de contexto pode incluir "estados mortos" de um autômato, como G=({a,b,c},{A,B,C},{A→aB,B→b,B→C,C→cC},A)?G=({a,b,c},{A,B,C},{A→aB,B→b,B→C,C→cC},A)?G = \big(\{a, b, c\}, \{A, B, C\}, \{A\to aB, B\to b, B\to C, C\to cC\}, A\big)\,? As regras de produção e se sempre e nunca geram uma palavra. Isso é permitido ou DEVE as regras de …

18 context-free  automata  formal-grammars 

A definição primária de máquina de Turing (TM), pelo menos no meu próprio livro de referência (Hopcroft + Ullman 1979) é determinística. Portanto, meu próprio entendimento do problema da parada é principalmente para a MT determinística, embora eu saiba que pode ser considerado para outros tipos de autômatos. Também notei …

18 turing-machines  automata  nondeterminism  halting-problem  linear-bounded-automata 

Por exemplo, quando consideramos um DFA que permite que as seqüências de caracteres não tenham sub-sequências 00ou 11eu possa produzir os dois DFAs a seguir:

17 automata  finite-automata 

Eu usei o FSM em projetos de circuitos sequenciais digitais. Mas não estou familiarizado com o Finite Automata. Alguém pode me ajudar a entender a diferença "básica" entre os dois?

16 terminology  automata  finite-automata 

Gostaria de saber se isso é possível, já que . Portanto, um PDA que pode distinguir uma palavra do resto de pode aceitá-la , o que me parece contraditório. w ∈ { um n b n c n | n ≥ 0 } { um * b * c * …

16 formal-languages  automata  context-free  pushdown-automata 

Um autômato finito determinístico (DFA) é um modelo de máquina de estado capaz de aceitar todas e apenas linguagens regulares. Os DFAs podem ser (e geralmente são) definidos de tal maneira que cada estado deve fornecer alguma transição para todos os elementos do alfabeto de entrada; em outras palavras, a …

16 formal-languages  automata  finite-automata 

Esta é uma questão de acompanhamento deste . Em uma pergunta anterior sobre máquinas de estado exóticas , Alex ten Brink e Raphael abordaram os recursos computacionais de um tipo peculiar de máquina de estado: autômatos de min-heap. Eles foram capazes de mostrar que o conjunto de idiomas aceitos por …

16 formal-languages  automata  closure-properties 

As máquinas de balcão com dois ou mais contadores geralmente são equivalentes às máquinas de Turing em cursos sobre a teoria da computação. No entanto, eu não vi uma análise formal de quais idiomas podem ser reconhecidos por uma máquina de balcão único. Essas linguagens são equivalentes às linguagens livres …

15 computability  automata 

Existem propriedades indecidíveis de autômatos limitados lineares (evitando o truque de linguagem de conjunto vazio)? Que tal um autômato finito determinístico? (deixe de lado a intratabilidade). Gostaria de obter um exemplo (se possível) de um problema indecidível definido sem o uso explícito de máquinas de Turing . A integridade de …

15 computability  automata  undecidability