Existe um algoritmo / procedimento sistemático para testar se um idioma é regular? Em outras palavras, dado um idioma especificado em forma algébrica (pense em algo como ), teste se o idioma é regular ou não. Imagine que estamos escrevendo um serviço da Web para ajudar os alunos com todos os seus...
Dado dois conjuntos de cadeias sobre o alfabeto Σ , podemos calcular o menor autômato de estado finito determinístico (DFA) M de modo que A ⊆ L ( M ) e L ( M ) ⊆ Σ ∗ ∖ B ?A , BA,BA,BΣΣ\SigmaMMMA ⊆ L ( M)UMA⊆eu(M)A \subseteq L(M)L ( M) ⊆ Σ∗∖ Beu(M)⊆Σ∗∖BL(M) \subseteq \Sigma^*\setminus B Em outras...
Qual das seguintes afirmações está correta? existem condições suficientes e necessárias sobre a regularidade de uma língua, mas ainda não foram descobertas. Não há condição suficiente e necessária sobre a regularidade de um idioma. O lema de bombeamento é uma condição necessária para a...
Por exemplo, eu sei que o idioma não regular está em . Eu gostaria de saber mais exemplos como este. A C 0umanbnanbna^nb^nA C0
Fiquei me perguntando, vez que é um idioma sem estrelas, existe um idioma regular que não é um idioma sem estrelas? Você poderia dar um exemplo?a∗a∗a^* (de wikipdia ) Lawson define idiomas sem estrelas como: Diz-se que uma linguagem comum é livre de estrelas se puder ser descrita por uma...
Uma expressão regular é definida recursivamente como aaa para algunsa∈Σa∈Σa \in \Sigma é uma expressão regular, εε\varepsilon é uma expressão regular, ∅∅\emptyset é uma expressão regular, (R1∪R2)(R1∪R2)(R_1 \cup R_2) ondeR1R1R_1 eR2R2R_2 são expressões regulares é uma expressão...
No trabalho, fui encarregado de deduzir algumas informações de tipo sobre uma linguagem dinâmica. Reescrevo seqüências de instruções em letexpressões aninhadas , da seguinte maneira: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...
Escreva para a expansão decimal de (sem avanço ). Deixe e ser inteiros, com . Considere o idioma das expansões decimais dos múltiplos de mais uma constante:n¯n¯\bar nnnn0aaabbba>0a>0a > 0aaa M={ax+b¯¯¯¯¯¯¯¯¯¯¯¯¯¯∣x∈N}M={ax+b¯∣x∈N}M = \{ \overline{a\,x+b} \mid x\in\mathbb{N} \} é regular?...
Descreva um idioma comum que não possa ser aceito por nenhum DFA que possua apenas três estados. Não sei muito bem por onde começar e queria saber se alguém poderia me dar algumas dicas ou conselhos. Entendo que o lema de bombeamento pode ser usado para provar que um idioma não é regular, mas,...
Suponha que é um idioma comum sobre um alfabeto ordenado. O idioma é construído ao pegar todas as palavras em e classificá-las sempre como um idioma
Eu sei que idiomas que podem ser definidos usando expressões regulares e reconhecíveis pelo DFA / NFA (autômatos finitos) são equivalentes. Também não existe DFA para o idioma . Mas ainda assim ele pode ser escrito usando expressões regulares (para que o assunto qualquer linguagem não-regular pode...
Ou pelo menos gere um conjunto de strings que um NFA aceite, para que eu possa alimentá-lo no outro NFA. Se eu fizer uma pesquisa em todos os caminhos da NFA, isso funcionará? Embora isso demore muito
Pela minha leitura, parece que a maioria das gramáticas está preocupada em gerar um número infinito de strings. E se você trabalhasse o contrário? Se forem dadas n strings de m length, deve ser possível fazer uma gramática que gere essas strings, e apenas essas strings. Existe um método conhecido...
Penso nas línguas unárias , onde é um conjunto de todas as palavras cujo comprimento é a soma dos quadrados. Formalmente: É fácil mostrar que não é regular (por exemplo, com Pumping-Lemma). Além disso, sabemos que cada número natural é a soma de quatro quadrados, o que implica que para todas as...
Estou trabalhando no livro Sipser (2ª edição) e me deparei com este exemplo, que não entendo. No livro, afirma que esse NFA aceita a string vazia, .ϵϵ\epsilon Alguém poderia me explicar por que esse é o caso? Meu entendimento é que passará para que não é um estado de...
Fiz meus exames de teoria da computação há algumas semanas e essa foi uma das perguntas: Assuma o idiomaL = { ( anbm)r∣ n , m , r ≥ 0 }L={(anbm)r∣n,m,r≥0}L=\{(a^nb^m)^r \mid n,m,r\ge 0\} L é regular? Se sim, forneça uma expressão regular ou um autômato. Depois que eu lhe perguntei...
Dada qualquer linguagem regular infinita eueuL, como posso provar que eueuL pode ser particionado em 2 idiomas regulares infinitos separados eu1,eu2eu1,eu2L_1, L_2? Isso é:eu1∪eu2= Leu1∪eu2=euL_1 \cup L_2 = L, eu1∩eu2= ∅eu1∩eu2=∅L_1 \cap L_2 = \varnothinge eu1eu1L_1 e eu2eu2L_2 são infinitos e...
Dado um idioma , como posso dizer diretamente, sem examinar as regras de produção, que esse idioma não é regular?L={anbncn}L={anbncn} L= \{a^n b^n c^n\} Eu poderia usar o lema de bombeamento, mas alguns caras estão dizendo apenas olhando para a gramática que essa não é regular. Como isso é...
Comecei a estudar autômatos não determinísticos usando o livro de Hopcroft e Ullman . Estou preso em um problema que achei muito interessante: Forneça um autômato finito não determinístico, aceitando todas as cadeias que tenham o mesmo valor quando avaliadas da esquerda para a direita e da...
Podemos formar o DFA aceitando números binários divisíveis por .nnn Por exemplo, o DFA que aceita números binários divisíveis por 2 pode ser formado da seguinte maneira: Da mesma forma, o DFA que aceita números binários divisíveis por 3 pode ser formado da seguinte maneira: Podemos seguir um...