Perguntas com a marcação «automata-theory»

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 …

12 automata-theory 

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 Automata? Além disso, você poderia me indicar …

12 reference-request  quantum-computing  automata-theory 

Seja uma constante. Como podemos comprovadamente construir um gerador pseudo-aleatório que engana os autômatos finitos do estado d ?dddddd Aqui, um -state finito autómatos tem d nodos, um nó de início, um conjunto de nodos que representam aceitar os estados, e duas arestas dirigidas rotulado 0, 1 saindo de cada …

12 automata-theory  pseudorandomness  pseudorandom-generators 

Autômatos residuais de estado finito (RFSAs, definidos em [DLT02]) são NFAs que possuem alguns recursos interessantes em comum com os DFAs. Em particular, sempre existe um RFSA de tamanho mínimo canônico para cada idioma regular, e o idioma reconhecido por cada estado no RFSA é um resíduo, assim como em …

12 cc.complexity-theory  ds.algorithms  automata-theory  lg.learning  minimization 

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 conhece um bom livro ou …

12 reference-request  co.combinatorics  fl.formal-languages  automata-theory  research-practice 

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 algoritmo …

12 automata-theory  lg.learning  regular-expressions  dfa 

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 isomórficos?

12 fl.formal-languages  automata-theory 

Qual a relação entre a expressividade de LTL , Büchi / QPTL , CTL e CTL * ? Você pode dar algumas referências que abranjam o máximo possível dessas lógicas temporais (especialmente entre o tempo linear e o ramificado)? Um diagrama de Venn com essas lógicas temporais e algumas propriedades …

12 lo.logic  automata-theory  model-checking  temporal-logic 

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 …

12 cc.complexity-theory  fl.formal-languages  automata-theory 

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 …

12 fl.formal-languages  automata-theory 

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 …

12 cc.complexity-theory  reference-request  automata-theory  space-bounded 

Um conjunto de palavras sobre um alfabeto finito é livre de prefixo se não houver duas palavras distintas em que um seja o prefixo do outro. A questão é: Qual é a complexidade de verificar se um idioma comum fornecido como NFA contém um subconjunto infinito sem prefixos? Resposta (devido …

11 fl.formal-languages  automata-theory  prefix-free-code  nfa 

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 conserte algum modelo de computação (NFAs / turing machine …

11 cc.complexity-theory  automata-theory  turing-machines 

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). Minha pergunta é sobre 1ACAs em idiomas unários.D TEuME( …

11 automata-theory  counter-automata  unary-languages 

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 …

11 automata-theory  regular-expressions  dfa