Suponha que você está dado dois determinista empurrar para baixo autômatos que reconhecem idiomas e B , e desejo para determinar se existe uma linguagem regular R tal que A ⊆ R e R ∩ B = ∅ . Basicamente, o desafio é determinar se existe um DFA que reconheça de qual dos dois idiomas uma determinada...
Digamos que um tenha um idioma , mas não se sabe quais strings são realmente parte do idioma. Tudo o que se tem é uma vista finita da língua: um conjunto finito de cordas Um ⊆ L que são conhecidos por estar na língua, e um conjunto finito de cadeias B ⊆ ( Σ * ∖ G ) que são conhecidos por não ser no...
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...
Um MPA (autômato multipebble) é um 2DFA (autômato finito determinístico de duas vias) que pode usar um número arbitrário de seixos (na verdade, no máximo seixos em uma determinada entrada - a entrada é gravada na fita entre as duas extremidades -markers como ). Durante o cálculo, um MPA pode...
Estou procurando um idioma L com as seguintes propriedades: L não deve ser livre de contexto. O complemento de L não deve ser livre de contexto. (Tudo o que você vê nos livros didáticos como exemplos principais de linguagens sem contexto parece falhar neste segundo requisito.) Por exemplo, eu sei...
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...
Alguém pode fornecer um exemplo de dois autômatos não determinísticos mínimos (NFA) equivalentes (reconhecendo a mesma linguagem) que não são
Inspirado por esta pergunta , estou curioso sobre o seguinte: Qual é a pior complexidade possível de verificar se um determinado DFA aceita o mesmo idioma que uma determinada expressão regular? Isso é conhecido? A esperança seria que esse problema estivesse em P - que houvesse um polinômio de...
Estou procurando uma técnica geral que possa me ajudar a provar não apenas que os autômatos Buchi são um modelo mais expressivo que o LTL, mas que a fórmula específica pode / não pode ser expressa em LTL. Por exemplo, " ocorre pelo menos em posições pares" pode ser descrito pelos seguintes...
Esta pergunta está relacionada a uma pergunta recente de Janoma . fundo Na programação restrição, um normal global de restrição ao longo de um domínio é um par (S, M) com s um tuplo de variáveis (o escopo) e M um DFA sobre o domínio D . Uma atribuição \ theta a s satisfaz c se M aceitar a...
Todos os meus livros usam o mesmo algoritmo para produzir um DFA dado um regex: primeiro, faça um NFA que reconheça o idioma do regex e, usando a construção do subconjunto (também conhecido como "powerset"), converta o NFA em um DFA equivalente ( opcionalmente, minimizando o DFA). Também ouvi uma...
Depois de ler uma pergunta relacionada , sobre provas não-construtivas de algoritmos, fiquei pensando se existem métodos para mostrar a existência de máquinas de computação "pequenas" (digamos, em termos de estado) sem realmente construí-la. Formalmente: suponha que recebamos alguma linguagem e...
É possível construir um algoritmo que tenha como entrada um autômato de empilhamento juntamente com a promessa de que a linguagem aceita por esse autômato L ( M ) é uma linguagem determinística livre de contexto e gera um autômato de empilhamento determinístico N que aceita precisamente a linguagem...
Os autômatos de empilhamento alternativo unidirecional (1APDA) podem reconhecer qualquer idioma em (Alternação de Chandra, Kozen e Stockmeyer, 1981) . Ao substituir um armazenamento pushdown de um 1APDA por um contador, podemos obter um autômato alternativo unidirecional por um contador (1ACA)....
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...
Estou tentando elaborar uma taxonomia de algoritmos para transformar expressões regulares em autômatos, a fim de executar alguns testes empíricos de suas propriedades de complexidade em domínios específicos. Estou ciente de vários nomes 'maiores', por exemplo, Thompson "Algoritmo de pesquisa...
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...
Um DFA ou NFA lê uma sequência de entrada com uma única cabeça, movendo-se da esquerda para a direita. Parece natural pensar em máquinas de estado finito que possuem várias cabeças , cada uma das quais se move pela entrada da esquerda para a direita, mas não necessariamente no mesmo local da...
Seja uma linguagem livre de contexto. Definir p p c ( G ) ser o encerramento pré e pós-fixa de L , por outras palavras, p p c ( G ) contém todos G 's prefixos e sufixos, e, portanto, G si. Minha pergunta: se L é livre de contexto e possui uma gramática não ambígua, o mesmo vale para p p c ( L )...
Atualização: Parece que esse problema foi estudado e resolvido recentemente, consulte este artigo da wiki: http://en.wikipedia.org/wiki/Tree_walking_automaton E também esta pesquisa: http://www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf Suponha que, em vez do conjunto usual de palavras {0,1} *,...