Eu me pergunto se as unidades de computação massivamente paralelas fornecidas nas placas gráficas atualmente (uma que é programável no OpenCL , por exemplo) são boas o suficiente para simular autômatos celulares 1D (ou talvez autômatos celulares 2D?) De maneira eficiente. Se escolhermos qualquer...
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...
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...
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 à conjectura primária dupla . Meu problema é...
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'?
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 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
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...
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
O problema de dois autômatos de pushdown reconhecerem o mesmo idioma é indecidível. O problema de decidir se um autômato de empilhamento reconhece o idioma vazio é decidível; portanto, também é decidível se ele reconhece um determinado idioma finito. É indecidível se o idioma aceito por um autômato...
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...
Diz-se que a interseção de uma linguagem livre de contexto L com uma linguagem regular M é sempre livre de contexto. Entendi a prova de construção entre produtos, mas ainda não entendo por que ela é livre de contexto, mas não regular. O idioma gerado por essa interseção possui seqüências de...
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 * }{anbncn∣n≥0}∉CFL{anbncn∣n≥0}∉CFL\{a^n b^n c^n \mid n \geq 0\} \not\in...
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?
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...
Dado um idioma , defina o conjunto de comprimentos de como o conjunto de comprimentos de palavras em : LLLLLLLLLLS(L)={|u|∣u∈L}LS(L)={|u|∣u∈L}\mathrm{LS}(L) = \{|u| \mid u \in L \} Quais conjuntos de números inteiros podem ser o comprimento de um idioma
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...
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...
Recentemente, uma pergunta interessante foi feita e, posteriormente, excluída. Para um idioma comum , sua complexidade do DFA é o tamanho do DFA mínimo que o aceita e sua complexidade de NFA é o tamanho do NFA mínimo que o aceita. É sabido que existe uma separação exponencial entre as duas...
O algoritmo de minimização do DFA de Brzozowski cria um DFA mínimo para o DFA :GGG reverter todas as arestas em , tornando o estado inicial um estado de aceitação e os estados de aceitação iniciais, para obter um NFA N ′ para o idioma reverso,GGGN′N′N' usando construção de conjunto de potências...