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

Na teoria dos autômatos (autômatos finitos, autômatos de empilhamento, ...) e na complexidade, existe a noção de "ambiguidade". Um autômato é ambíguo se houver uma palavra com pelo menos duas execuções de aceitação distintas. Uma máquina é ambígua se, para cada palavra aceita pela máquina, houver no máximo execuções distintas …

17 lo.logic  automata-theory  regular-language  nondeterminism  finite-model-theory 

Dizemos que NFA é constantemente ambíguo se existir k ∈ N, de modo que qualquer palavra w ∈ Σ ∗ seja aceita por 0 ou (exatamente) k caminhos.MMMk∈Nk∈Nk\in \mathbb{N}w∈Σ∗w∈Σ∗w\in \Sigma^*000kkk Se o autômato é constantemente ambíguo para k = 1 , então M é chamado FA não ambígua (UFA).MMMk = …

16 complexity-classes  fl.formal-languages  automata-theory  regular-language 

Os autômatos finitos inequívocos (UFA) são tipos especiais de autômatos finitos não determinísticos (NFA). Um NFA é chamado inequívoco se cada palavra tiver no máximo um caminho de aceitação.w ∈ Σ∗W∈Σ∗w\in \Sigma^* Isto significa .D FA ⊂ UFA ⊂ NFUMADFUMA⊂vocêFUMA⊂NFUMADFA\subset UFA\subset NFA Resultados conhecidos de autômatos relacionados: A minimização de …

16 cc.complexity-theory  fl.formal-languages  automata-theory  regular-language 

O problema Seja um autômato Büchi, reconhecendo um idioma . Nós assumimos que tem uma estratégia de aceitação no seguinte sentido: existe uma função que pode ser usado para corridas piloto de . Formalizamos isso pelas seguintes condições:L ⊆ Σ co Uma σ : Σ * → Q UmA=⟨Σ,Q,q0,F,Δ⟩A=⟨Σ,Q,q0,F,Δ⟩A=\langle \Sigma, …

15 fl.formal-languages  automata-theory  regular-language  nondeterminism 

Existe alguma hierarquia "legal" conhecida (pode ser finito) dentro da classe de idiomas regulares ? Por legal aqui, as classes em cada hierarquia capturam expressividade / poder / complexidade diferentes. Além disso, a composição de cada classe é "bem" demonstrada por alguns elementos (diferentemente do problema de altura da estrela …

14 automata-theory  regular-language  regular-expressions 

De acordo com o Complexity Zoo , e sabemos que não pode contar, portanto . No entanto, ele não diz se \ mathsf {Reg} \ subseteq \ mathsf {TC ^ 0} ou não. Como não conhecemos \ mathsf {NC ^ 1} \ not \ subseteq \ mathsf {TC ^ 0} …

14 cc.complexity-theory  fl.formal-languages  automata-theory  circuit-complexity  regular-language 

Estou lendo " Concatenação de idiomas regulares e complexidade descritiva ", de Galina Jiraskova, 2009, sobre a complexidade do estado resultante da concatenação de dois idiomas regulares (de Galina Jiraskova), mas não consigo entender quais seriam as implicações práticas da complexidade do estado. . O primeiro pensamento trivial que me …

14 fl.formal-languages  automata-theory  regular-language 

Seria bom coletar uma lista de condições que impliquem que uma linguagem L sem contexto seja regular, ou seja, condições da forma: "se um CFG / PDA determinado tiver a propriedade P, suas linguagens serão regulares" A propriedade P não precisa caracterizar os CFGs que geram idiomas regulares. Além disso, …

14 reference-request  fl.formal-languages  regular-language  context-free  survey 

Seja uma linguagem, então definimos a congruência sintática como e o quociente monoid é chamado o monoid sintática de .L⊆X∗L⊆X∗L \subseteq X^{\ast}u∼v:⇔∀x,y∈X∗:xuy∈L↔xvy∈Lu∼v:⇔∀x,y∈X∗:xuy∈L↔xvy∈L u \sim v :\Leftrightarrow \forall x, y\in X^{\ast} : xuy \in L \leftrightarrow xvy \in L X∗/∼LX∗/∼LX^{\ast} / \sim_LLLL Agora, quais monoides surgem como monoides sintáticos de idiomas? …

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

No quadro de aprendizagem autômatos de Angluin , um estudante objetivos de aprender uma linguagem regular L ⊆ Σ∗eu⊆Σ∗L\subseteq \Sigma^* , pedindo dois tipos de perguntas para o professor: Consultas de palavras: dado , ?w ∈ Σ∗W∈Σ∗w\in \Sigma^*w ∈ LW∈euw\in L Consultas de equivalência: dado um idioma , é ? …

13 automata-theory  regular-language 

Eu quero definir uma noção de "proximidade" entre duas linguagens regulares de palavras finitas em (e / ou palavras infinitas em Σ w ). A idéia básica é que queremos que dois idiomas estejam próximos se eles não diferirem em muitas palavras. Também poderíamos usar a distância de edição de …

13 reference-request  fl.formal-languages  regular-language 

O que se sabe sobre a classe de idiomas reconhecida por autômatos finitos com o mesmo estado inicial e de aceitação? Este é um subconjunto adequado dos idiomas regulares (já que todos os idiomas contêm a string vazia), mas qual é a sua fraqueza? Existe uma caracterização algébrica simples? O …

13 fl.formal-languages  automata-theory  algebra  regular-language 

Estou interessado no problema clássico INCLUSÃO LÍNGUA REGULAR. Dada uma expressão regular , denotamos por L ( E ) a linguagem regular a ela associada. (As expressões regulares estão em um alfabeto fixo Σ , com a união de operações, estrela Kleene e concatenação.)EEEL(E)L(E)L(E)ΣΣ\Sigma Entrada: Duas expressões regulares e E …

11 cc.complexity-theory  reference-request  regular-language  parameterized-complexity  regular-expressions 

Entendo que as seguintes afirmações são verdadeiras: Às vezes, duas derivações distintas de uma sequência em um determinado CFG podem atribuir a mesma árvore de análise à sequência. Quando existem derivações de alguma sequência em um determinado CFG que atribuem diferentes árvores de análise, o CFG é ambíguo. Algumas linguagens …

11 fl.formal-languages  regular-language  context-free 

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