Perguntas com a marcação «regular-language»

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 

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 

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 …

9 fl.formal-languages  automata-theory  regular-language  algebra  monoid 

Dado um DFA completo , podemos definir uma coleção de funções f a para cada a ∈ Γ e com f a : Q → Q , f a ( q ) = δ ( q , a ) . Podemos generalizar este conceito a uma palavra w = a …

9 automata-theory  regular-language  monoid 

Para um idioma fixo em algum alfabeto , vamos considerar o seguinte problema, que chamo de INTERLEAVING :A LeuLLUMAAAeueuL Entrada: duas palavrasu , v ∈ A∗você,v∈UMA∗u, v \in A^* Saída: se existe uma intercalação de e , que está em .v LvocêvocêuvvveueuL Aqui, uma intercalação de duas palavras e é …

9 cc.complexity-theory  reference-request  regular-language 

Vamos L⊆A∗L⊆A∗L \subseteq A^* seja um idioma, e definir fL:A∗×A∗→{0,1}fL:A∗×A∗→{0,1}f_L\colon A^* \times A^* \to \{0, 1\} por fL(x,y)=1fL(x,y)=1f_L(x, y) = 1 sse x⋅y∈Lx⋅y∈Lx\cdot y \in L . Estou procurando uma referência para: Proposição. LLL é regular se a complexidade determinística da comunicação de fLfLf_L é constante. LLLPPPfLfLf_Ln↦max{comm(P,x,y):|x⋅y|=n}n↦max{comm(P,x,y):|x⋅y|=n}n \mapsto \max\{\text{comm}(P, x, …

9 reference-request  communication-complexity  regular-language 

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 extremidades que nunca podem ser substituídos e, portanto, a cabeça nunca …

9 automata-theory  turing-machines  regular-language  space-bounded 

Dado um NFA NNN e seu equivalente DFA DDD resultante da determinação total de NNN (usando a construção do conjunto de potências, por exemplo), as seguintes propriedades são válidas para NNN , DDD e para qualquer palavra www : NNN lêwww em tempo de execução, no máximo,O(|w|.|N|2)O(|w|.|N|2)O(|w|.|N|^2) . DDD lêwww …

8 automata-theory  regular-language  nondeterminism  dfa  nfa 

Eu estava lendo sobre o problema da altura das estrelas e notei que a família de expressões regulares de Eggan segue um padrão simples que pode ser descrito por uma expressão regular. Minha pergunta é: existem resultados interessantes sobre expressões regulares que descrevem famílias de expressões regulares? Esse processo pode …

8 fl.formal-languages  regular-language  regular-expressions