Estou interessado em uma ligeira generalização do DFA. Como sempre, temos definido pelo estado , alfabeto finito , uma ação definida em por e estado inicial ; mas em vez do conjunto de terminais de costume, nós tomamos uma família de subconjuntos de . Um DFA multilíngue é a...
Existe um 2DFA com estados (onde n é não trivial, digamos, pelo menos 4) que exija pelo menos 2 n estados para simular o uso de qualquer DFA?nnnnnn2n2n2^n Um DFA bidirecional (2DFA) é um autômato de estado finito determinístico que pode mover-se para frente e para trás em sua fita de entrada...
Um autômato determinístico é chamado -local para se para cada o conjunto contém no máximo um elemento. Intuitivamente, isso significa que se uma palavra de comprimento leva a um estado, então esse estado é único ou dito diferentemente de uma palavra arbitrária de comprimento os últimos símbolos...
Especificamente o que quero dizer com adição é, definimos para ser o alfabeto { 0 , 1 , 2 , . . . , eu } . Línguas dadas regulares A e B sob algum alfabeto Σ i , olhada A × B .ΣiΣi\Sigma_i{0,1,2,...,i}{0,1,2,...,i}\{0, 1, 2, ..., i\}AAABBBΣiΣi\Sigma_iA×BA×BA\times B Para cada par ordenado ,...
Qual é a abordagem padrão para minimizar o Büchi-Automata (ou também o Müller-Automata)? Transferir a técnica usual de palavras finitas, ou seja, definir dois estados como iguais se as palavras "acabando" dos estados aceitos forem iguais, não funcionará. Por exemplo, considere o Büchi-Automoton...
Há um problema em aberto em idiomas formais conhecido como Problema de Separação; que é brevemente indicado como duas seqüências distintas de comprimento , qual o tamanho de um DFA necessário para "separá-las", o que significa aceitar uma sequência, mas rejeitar a outra.nnn Aqui estão alguns...
Deixe um número ser dado. Considere o seguinte idioma L n = {nnn .eun= {w w|w ∈ { 0 , 1 }n}Ln={ww|w∈{0,1}n}L_n = \{ \; ww \; \vert \; w \in \{0,1\}^{n} \; \} Em palavras, é o conjunto de cadeias de cópia de comprimento 2 n .eunLnL_n2 n2n2n Considere a seguinte função de complexidade de estado...
Os transdutores considerados aqui são aqueles que a Wikipedia chama de transdutores de estado finito . O comportamento de um transdutor , isto é, a relação que ele calcula, é escrito : uma palavra é uma saída para iff .[ T ] y x x [ T ] yTTT[ T][T][T]yyyxxxx [ T] yx[T]yx[T]y Pergunta: O seguinte...
É simples ver que os poderes de 2 sobre o alfabeto {0,1} são regulares porque é uma expressão regular para ele.10∗10∗10^* Mas os poderes de 2 representados no ternário parecem não ser regulares. É difícil aplicar classes de lema ou resíduo de bombeamento, pois parece haver muito pouco padrão entre...
Quero dizer especificamente famílias de idiomas que admitem seqüências arbitrariamente longas - não conjunções sobre n bits ou listas de decisão ou qualquer outra linguagem "simples" contida em {0,1} ^ n. Estou perguntando sobre as linguagens regulares "teóricas dos autômatos", em oposição às...
Seja um alfabeto finito. Para um determinado idioma L ⊆ A * o monoid sintática M ( L ) é uma noção bem conhecida na teoria da linguagem formal. Além disso, um monóide M reconhece uma linguagem L se existir um morfismo φ : A ∗ → M tal que L = φ - 1 ( φ ( L ) ) ) .AAAL⊆A∗L⊆A∗L \subseteq A^{\ast}...
Na minha experiência, linguagens sensíveis ao contexto e autômatos limitados lineares são freqüentemente ignorados ou ignorados nos cursos de teoria da computabilidade e são deixados de fora de alguns livros de texto notáveis, embora os autômatos finitos e pushdown recebam muita atenção. Certamente...
Gostaria de saber por que, para o reconhecimento de linguagens sem contexto, apenas os autômatos não determinísticos de push-down (DPA = NPDA) funcionam. Por que os autômatos push-down determinísticos (DPDA) não reconhecem esses
Estou interessado em algoritmos eficientes para interseção do DFA em casos especiais. Ou seja, quando os DFAs se cruzam, obedecem a uma certa estrutura e / ou operam com um alfabeto limitado. Existe alguma fonte onde eu possa encontrar algoritmos nesses casos? Para não tornar a pergunta muito...
Dada uma linguagem regular no alfabeto , seu autômato determinístico mínimo pode ser visto como um gráfico múltiplo direcionado com constante grau externoe um estado inicial marcado (esquecendo rótulos de transições, estados finais). Mantemos o estado inicial porque cada vértice deve ser acessível...
O algoritmo de Brzozowski para converter um DFA em um DFA equivalente de estado mínimo é extraordinariamente simples: se denota o NFA formado pela reversão de todas as arestas em um DFA , tornando o antigo estado inicial um estado de aceitação, e fazendo o antigo aceitar estados iniciam estados e...
Os autômatos limitados lineares não determinísticos de visita limitada reconhecem apenas idiomas regulares? Por autômato delimitado linear não-determinístico (nLBA), quero dizer uma máquina de Turing não-determinística de fita única, na qual a entrada é "acolchoada" com marcadores nas duas...
Seja um alfabeto de tamanho e considere DFAs mínimos, cujo tamanho é limitado por no máximo . Seja o número de diferentes DFAs mínimos.2 m f ( m )ΣΣ\Sigma222mmmf(m)f(m)f(m) Podemos encontrar uma fórmula de forma fechada para ?f(m)f(m)f(m) Considerando que para a função de transição de um DFA de...
Seja um alfabeto finito. Um código sobre é um subconjunto de de tal modo que cada palavra em pode ser representada unicamente como uma concatenação de palavras . Um códigoΣΣ\Sigma XXXΣΣ\SigmaΣ∗Σ∗\Sigma^*X∗X∗X^*XXXXXX éfinitose|X||X||X|é finito. O que se sabe sobre autômatos (mínimos) que...
I têm durante algum tempo sido curioso sobre máquinas de Turing com exactamente uma fita e exactamente três estados (ou seja, o estado inicial q0q0q_0 , o estado aceitar qacceptqacceptq_{accept} , e o estado rejeitar qrejectqrejectq_{reject} ). Observe que eu permito alfabetos de fita arbitrários...