Pergunto-me, existem documentos ou pesquisas que tratem de autômatos visivelmente pushdown, mas permitindo que palavras, em vez de letras únicas, sejam empurradas para a pilha. Como alternativa, uma construção que permitisse que os símbolos fossem inseridos nas transições poderia atingir o mesmo...
Os autômatos finitos inequívocos (UFA) são tipos especiais de autômatos finitos não determinísticos (NFA). Um NFA é chamado inequívoco se cada palavra tiver no máximo um caminho de aceitação.w ∈ Σ∗W∈Σ∗w\in \Sigma^* Isto significa .D FA ⊂ UFA ⊂ NFUMADFUMA⊂vocêFUMA⊂NFUMADFA\subset UFA\subset...
Há evidências teóricas de que a construção ingênua de produto cartesiano para a interseção de DFAs é "o melhor que podemos fazer". E a concatenação de dois DFAs? A construção trivial envolve a conversão de cada DFA em um NFA, adicionando uma transição épsilon e determinando o NFA resultante....
Na descrição formal do determinística Pushdown Automata, eles permitem movimentos, onde a máquina pode pop ou empurrar símbolos na pilha sem ler um símbolo da entrada. Se esses ϵ movimentos não forem permitidos, e a pilha puder ser modificada apenas uma vez após a leitura de cada símbolo, os...
Dizemos que NFA é constantemente ambíguo se existir k ∈ N, de modo que qualquer palavra w ∈ Σ ∗ seja aceita por 0 ou (exatamente) k caminhos.MMMk∈Nk∈Nk\in \mathbb{N}w∈Σ∗w∈Σ∗w\in \Sigma^*000kkk Se o autômato é constantemente ambíguo para k = 1 , então M é chamado FA não ambígua (UFA).MMMk =...
Fundo: Dado dois autômatos finitos determinísticos A e B, formamos o produto C permitindo que os estados em C sejam o produto cartesiano dos estados em A e estados em B. Então, escolhemos transições, estado inicial e estados finais para que o idioma seja aceito por C é a interseção dos idiomas...
Existe alguma hierarquia "legal" conhecida (pode ser finito) dentro da classe de idiomas regulares ? Por legal aqui, as classes em cada hierarquia capturam expressividade / poder / complexidade diferentes. Além disso, a composição de cada classe é "bem" demonstrada por alguns elementos...
Um autômato Xor não determinístico (NXA) é sintaticamente um NFA, mas uma palavra é aceita pelo NXA se ele tiver um número ímpar de caminhos de aceitação (em vez de pelo menos um caminho de aceitação no caso de NFA). É fácil ver que, para um idioma regular finito , existe um NFA mínimo que não...
Seja a família de todos os idiomas acima do satisfazendo a propriedade de bombeamento dos idiomas regulares. Ou seja: para cada , há um cada palavra , pode ser escrita no formato onde: 1. , 2. , 3. para todos os .eueu\mathcal{L}ΣΣ\SigmaL ∈ Leu∈euL\in\mathcal{L}N∈ NN∈NN\in\mathbb{N}w ∈ LW∈euw\in...
Estou lendo " Concatenação de idiomas regulares e complexidade descritiva ", de Galina Jiraskova, 2009, sobre a complexidade do estado resultante da concatenação de dois idiomas regulares (de Galina Jiraskova), mas não consigo entender quais seriam as implicações práticas da complexidade do estado....
Seja uma linguagem, então definimos a congruência sintática como e o quociente monoid é chamado o monoid sintática de .L⊆X∗L⊆X∗L \subseteq X^{\ast}u∼v:⇔∀x,y∈X∗:xuy∈L↔xvy∈Lu∼v:⇔∀x,y∈X∗:xuy∈L↔xvy∈L u \sim v :\Leftrightarrow \forall x, y\in X^{\ast} : xuy \in L \leftrightarrow xvy \in...
Lema: Assumindo a eta-equivalência, temos isso (\x -> ⊥) = ⊥ :: A -> B. Prova: ⊥ = (\x -> ⊥ x)por eta-equivalência e (\x -> ⊥ x) = (\x -> ⊥)por redução no lambda. O relatório Haskell 2010, seção 6.2 especifica a seqfunção por duas equações: seq :: a -> b -> b seq ⊥ b = ⊥ seq...
De acordo com o Complexity Zoo , e sabemos que não pode contar, portanto . No entanto, ele não diz se \ mathsf {Reg} \ subseteq \ mathsf {TC ^ 0} ou não. Como não conhecemos \ mathsf {NC ^ 1} \ not \ subseteq \ mathsf {TC ^ 0} , também não sabemos \ mathsf {Reg} \ not \ subseteq \ mathsf {TC ^ 0}...
Dado um autômato finito (determinístico ou não determinístico, acho que isso não tem muita importância) autômato A e um limiar n , A aceita uma palavra contendo no máximo n letras distintas? (Com k letras diferentes, quero dizer que aabaa tem duas letras distintas, a e b .) Eu mostrei esse...
Enquanto ensinava como implementar FSMs usando circuitos lógicos síncronos, notei uma coincidência intrigante: tanto no mundo teórico do CS quanto no mundo da engenharia elétrica, "estado" é tipicamente denotado (e o espaço de estado Q ). Perguntei pela primeira vez no EE.sx , mas, ao pesquisar um...
No quadro de aprendizagem autômatos de Angluin , um estudante objetivos de aprender uma linguagem regular L ⊆ Σ∗eu⊆Σ∗L\subseteq \Sigma^* , pedindo dois tipos de perguntas para o professor: Consultas de palavras: dado , ?w ∈ Σ∗W∈Σ∗w\in \Sigma^*w ∈ LW∈euw\in L Consultas de equivalência: dado um...
Então, eu tenho cerca de 100-200 matrizes booleanas quadradas muito esparsas com comprimento lateral ~ várias dezenas, e preciso calcular o produto delas. Sei que se os multiplicar em série, o produto geralmente permanecerá tão escasso a cada etapa. Existem algoritmos de produtos em cadeia de...
O que se sabe sobre a classe de idiomas reconhecida por autômatos finitos com o mesmo estado inicial e de aceitação? Este é um subconjunto adequado dos idiomas regulares (já que todos os idiomas contêm a string vazia), mas qual é a sua fraqueza? Existe uma caracterização algébrica simples? O mesmo...
Atualmente, estou fazendo uma pesquisa em Linguagem Formal envolvendo classes de idiomas acima do Regular, mas abaixo do Contexto Livre. Estou olhando para coisas como máquinas multicounter com limite de reversão, máquinas de balcão de pilha única, CFLs determinísticas, etc. Gostaria de saber se...
Estou procurando um documento de pesquisa dos conceitos importantes no campo do Quantum Automata. Encontrei a Teoria dos Autômatos Quânticos - Uma Revisão por Hirvensalo, mas parece sucinta demais para entender o tópico. Existe uma pesquisa bastante abrangente sobre o tema do Quantum...