Perguntas com a marcação «fl.formal-languages»

linguagens formais, gramáticas, teoria de autômatos

1
Nova prova de lema de bombeamento para idiomas regulares
Seja a família de todos os idiomas acima do satisfazendo a propriedade de bombeamento dos idiomas regulares. Ou seja: para cada , há um cada palavra , pode ser escrita no formato onde: 1. , 2. , 3. para todos os .eueu\mathcal{L}ΣΣ\SigmaL ∈ Leu∈euL\in\mathcal{L}N∈ NN∈NN\in\mathbb{N}w ∈ LW∈euw\in L|w|>N|w|>N|w|> Nw=xyzw=xyz w=xyz|y|>0|y|>0|y|>0|xy|≤N|xy|≤N|xy|\le …




4
A eta-equivalência para funções é compatível com a operação seq de Haskell?
Lema: Assumindo a eta-equivalência, temos isso (\x -> ⊥) = ⊥ :: A -> B. Prova: ⊥ = (\x -> ⊥ x)por eta-equivalência e (\x -> ⊥ x) = (\x -> ⊥)por redução no lambda. O relatório Haskell 2010, seção 6.2 especifica a seqfunção por duas equações: seq :: a …





3
Sobre a realização de monóides como monóides sintáticos de línguas
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? …

1
É {ww '| HamDist (w, w ')> 1} sem contexto?
Depois de ler a pergunta recente "O complemento de livre de contexto?" {www∣...}{www∣...}\{ www \mid ...\}; Lembrei-me de um problema semelhante que não era capaz de refutar: É livre de contexto?L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L = \{ ww' \mid w,w' \in \{0,1\}^* \land |w|=|w'| \land HamDist(w,w')>1 \} Aqui exigimos que as duas cordas sejam …





Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.