Esta é uma questão de acompanhamento deste . Em uma pergunta anterior sobre máquinas de estado exóticas , Alex ten Brink e Raphael abordaram os recursos computacionais de um tipo peculiar de máquina de estado: autômatos de min-heap. Eles foram capazes de mostrar que o conjunto de idiomas aceitos...
Um autômato finito determinístico (DFA) é um modelo de máquina de estado capaz de aceitar todas e apenas linguagens regulares. Os DFAs podem ser (e geralmente são) definidos de tal maneira que cada estado deve fornecer alguma transição para todos os elementos do alfabeto de entrada; em outras...
Dadas as línguas e , digamos que sua concatenação seja inequívoca se, para todas as palavras , houver exatamente uma decomposição com e e ambígua caso contrário. (Não sei se existe um termo estabelecido para essa propriedade - coisa difícil de procurar!) Como um exemplo trivial, a concatenação de...
No meu livro de texto, é mencionado que: ∅∗= { ϵ }∅∗={ϵ}\emptyset^*=\{\epsilon\} onde ∅∅\emptyset é um idioma vazio. No entanto, sabemos que L ⋅ ∅ = ∅eu⋅∅=∅L \cdot \emptyset = \emptyset , onde eueuL é qualquer idioma. Eu não sou capaz de compreender intuitivamente este conceito porque as Kleene...
Dado um idioma , defina o conjunto de comprimentos de como o conjunto de comprimentos de palavras em : LLLLLLLLLLS(L)={|u|∣u∈L}LS(L)={|u|∣u∈L}\mathrm{LS}(L) = \{|u| \mid u \in L \} Quais conjuntos de números inteiros podem ser o comprimento de um idioma
Portanto, basicamente L satisfaz as condições do lema de bombeamento para CFLs, mas não é uma CFL (isso é possível de acordo com a definição do
Existe uma caracterização algébrica do número de palavras de um determinado comprimento em um idioma regular? A Wikipedia declara um resultado um tanto impreciso: Para qualquer linguagem regular eueuL , existem constantes λ1 1,... ,λkλ1 1,...,λk\lambda_1,\,\ldots,\,\lambda_k e polinómiosp1 1( X...
Seja Σ={0,1}Σ={0,1}\Sigma = \{ 0, 1 \} . Uma linguagem L⊆Σ∗L⊆Σ∗L \subseteq \Sigma^* é dito ter a propriedade "anti-palíndromo" se por todos os textos www que é um palíndromo, w∉Lw∉Lw\notin L . Além disso, para cada string uuu que não seja um palíndromo u∈Lu∈Lu\in L ou...
Esta é uma questão de acompanhamento deste . Em uma pergunta anterior sobre máquinas de estado exóticas , Alex ten Brink e Raphael abordaram os recursos computacionais de um tipo peculiar de máquina de estado: autômatos de min-heap. Eles foram capazes de mostrar que o conjunto de idiomas aceitos...
Não estou claro sobre o uso das frases "infinito" ou "finito" na teoria dos computadores. Penso que a raiz do problema é que uma linguagem como L={ab}∗L={ab}∗L=\{ab\}^* é infinita no sentido de poder gerar um número infinito (mas contável) de seqüências de caracteres. No entanto, ainda pode ser...
É possível argumentar que a maioria das linguagens criadas para descrever os problemas do dia a dia são sensíveis ao contexto. Por outro lado, é possível e não difícil encontrar alguns idiomas que não sejam recursivos ou mesmo não recursivamente enumeráveis. Entre esses dois tipos estão as...
Seja uma gramática livre de contexto. Uma série de terminais e não terminais de é dito ser uma forma sentencial de se você pode obtê-lo através da aplicação de produções de zero ou mais vezes para o símbolo de início de . Vamos ser o conjunto de formas de sentenciais .GGGG G S SF ( G )...
De acordo com o artigo da Wikipedia , L em significa "varredura da esquerda para a direita" e "R" significa "derivação mais à direita". No entanto, no artigo original de Knuth sobre gramáticas , ele define (na página 610) como um idioma "traduzível da esquerda para a direita com vinculado...
Dado um alfabeto Σ={a,b}Σ={uma,b}\Sigma = \{ a,b \} , quantas linguagens regulares diferentes existem que podem ser aceitas por um autômato finito não-determinístico do estado ?nnn Como exemplo, vamos considerar . Temos então configurações de transição diferentes e configurações diferentes de...
Eu tento me ensinar o uso do bisonte. A página de manual bison (1) diz sobre o bison: Gere um analisador determinístico de LR ou LR generalizado (GLR) empregando tabelas de analisador LALR (1), IELR (1) ou LR (1) canônico. O que é um analisador IELR? Todos os artigos relevantes que encontrei...
Fiquei me perguntando quando os idiomas que continham o mesmo número de instâncias de duas substrings seriam regulares. Eu sei que o idioma que contém o número igual de 1s e 0s não é regular, mas é um idioma como , onde = número de instâncias da substring "001" é igual ao número de instâncias da...
Eu sei que existem linguagens não regulares, de modo que é regular, mas todos os exemplos que posso encontrar são sensíveis ao contexto, mas não livres de contexto.eu∗eu∗L^* Caso não exista, como você prova
é uma linguagem regular sobre o alfabeto Σ = { a , b } . O quociente esquerdo de L em relação a w ∈ Σ ∗ é o idioma w - 1 L : = { v ∣ w v ∈ L }eueuLΣ = { a , b }Σ={uma,b}\Sigma = \{a,b\}eueuLw ∈ Σ∗W∈Σ∗w \in \Sigma^*W- 1L : = { v ∣ w v ∈ L }W-1eu: ={v∣Wv∈eu}w^{-1} L := \{v \mid wv \in L\} Como...
Estou procurando um algoritmo eficiente para o seguinte problema ou uma prova de dureza NP. Deixe ΣΣ\Sigma ser um conjunto e um ⊆ P ( Σ )A⊆P(Σ)A\subseteq\mathcal{P}(\Sigma) um conjunto de subconjuntos de ΣΣ\Sigma . Encontrar uma sequência w ∈ Σ *w∈Σ∗w\in \Sigma^* de menos comprimento tal que, para...
Muitos problemas indecidíveis "famosos" são, no entanto, pelo menos semidecidáveis, com seu complemento indecidível. Um exemplo acima de tudo pode ser o problema da parada e seu complemento. No entanto, alguém pode me dar um exemplo em que um problema e seu complemento são indecidíveis e não...