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

Teoria de autômatos, incluindo máquinas abstratas, gramáticas, análise, inferência gramatical, transdutores e técnicas de estado finito

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
Hierarquias em idiomas regulares
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 …
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? …
2
Automatize o aprendizado sem contra-exemplos
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 , é ? …
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.