Para minha tese de bacharelado, considero a classe de idiomas reconhecida pelos DFAs simétricos, ou seja, autômatos finitos determinísticos (completos) que atendem à seguinte condição: Seja um DFA completo sobre o alfabeto . Se, para cada e cada transição em , há uma transição em , chamamos uma...
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...
Sejak ∈ Nk∈Nk\in \mathbb N Estou procurando uma compilação NFA pequena para a linguagem de concatenação de duas palavras do comprimento que são diferentes em termos de índice, ou seja,kkkeuk= { u ⋅ v ∈Σ∗: | u | = | v | = k ∧ ∀ i ,vocêEu≠vEu}Lk={u⋅v∈Σ∗:|u|=|v|=k∧∀i,ui≠vi}L_k=\{u\cdot v \in \Sigma^*...
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) ( ¬ x | y) ) | z)xXORyXORz=((x|y)(¬x|y)|z)(¬((x|y)(¬x|y))|z)x\; \mathrm{XOR} \;y\; \mathrm{XOR} \;z =...
Estou interessado em provar que eu--√= { w : w w ∈ L }L={w:ww∈L}\sqrt{L}=\{w:ww\in L\} é regular se euLLé regular, mas parece que não estou chegando a lugar algum. Se possível, eu estava esperando uma dica para me levar na direção certa. Obrigado pela ajuda. Minha idéia para demonstrar a...
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 =...
Eu nunca usei um depurador que pode executar um programa para trás, mas gostaria. Agora, pergunto-me se há muita evidência e teoria sobre programação executável reversa, quando e por que um programa pode ser executado inversamente ou quando e por que não? Intuitivamente, acho que o computador deve...
Sabemos que expressões regulares (ER) são implementadas com autômatos finitos (FA). Em alguma linguagem (como JavaScript) no RE, existem recursos como 'capturando parênteses' com 'referências
É sabido que o problema da universalidade para a NFA (decidir se L(A)=Σ∗L(A)=Σ∗L(A)=\Sigma^*) é PSPACEPSPACEPSPACE-completo. No entanto, e se todos os estados da NFA estiverem aceitando? Parece-me que o problema está no máximocococo-NPNPNP, como um contra-exemplo (diferente do caso de uma NFA...
Estou participando de uma aula de teoria da computação e meu professor nos disse que um autômato de empilhamento não pode usar estruturas de dados além de uma pilha (como uma fila ou várias pilhas). Por que é
O algoritmo de Brzozowki é amplamente citado. Várias perguntas aqui dão exemplos ou discutem sua complexidade. Mas não consegui encontrar uma prova de correção para o algoritmo. Como provamos que está correto? Qualquer prova acessível aos estudantes de ciências da computação seria muito...