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...
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...
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 alguma...
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 mesmo...
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...
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...
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...
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:...
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...
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...
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...
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...
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 1 , ⋯ , um m e f wA=(Q,Γ,δ,F)A=(Q,Γ,δ,F)A=(Q, \Gamma, \delta, F)fafaf_aa∈Γa∈Γa\in \Gammafa:Q→Qfa:Q→Qf_a:Q\rightarrow...
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...
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 L = φ - 1 ( φ ( L ) ) ) .AAAL⊆A∗L⊆A∗L \subseteq A^{\ast}...
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
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...