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

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 …

11 lo.logic  automata-theory 

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

11 co.combinatorics  fl.formal-languages  automata-theory  regular-language 

É 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 aceita …

11 reference-request  computability  fl.formal-languages  automata-theory 

Immerman (Complexidade descritiva, 1999) apresenta os jogos EF para segunda ordem monádica existencial (jogos Ajtai-Fagin) na página 127. Como MSO nas palavras é equivalente a idiomas regulares, o jogo pode ser escrito da seguinte forma.∃∃\exists Um idioma é regular se, e somente se Delilah, não tiver uma estratégia vencedora no …

11 lo.logic  automata-theory  descriptive-complexity 

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 …

10 ds.algorithms  reference-request  automata-theory  regular-language  dfa 

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 …

10 fl.formal-languages  automata-theory  grammars  context-free 

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 artigos relevantes 1 , …

10 fl.formal-languages  automata-theory 

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 aceitando todas as palavras com um número …

10 fl.formal-languages  automata-theory 

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 …

10 automata-theory 

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 …

10 automata-theory  lower-bounds 

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 determinam o estado …

10 fl.formal-languages  automata-theory  synchronization 

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 …

10 fl.formal-languages  automata-theory  grammars  context-free-languages 

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 de expressão regular", Thompson, 1968 Glushkov "Um novo algoritmo quadrático …

10 automata-theory  fl.formal-languages  regular-expressions 

Olá pessoal, Atualmente, estou tentando encontrar um tópico sólido de tese de mestrado referente a algum ramo da teoria dos autômatos ou relacionado a linguagens formais. Estou tentando gerar boas idéias para o que seria um tópico aceitável, algo ambicioso, mas algo factível ao mesmo tempo. Quaisquer sugestões seriam muito …

10 ds.algorithms  automata-theory  fl.formal-languages  soft-question 

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 …

10 fl.formal-languages  automata-theory  regular-language  nfa