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...
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
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...
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...
Sabe-se que o idioma das palavras que contêm número igual de 0 e 1 não é regular, enquanto o idioma das palavras que contêm número igual de 001 e 100 é regular ( veja aqui ). Dadas duas palavras w1,w2w1,w2w_1,w_2 , é decidível se o idioma das palavras que contêm o mesmo número de e é...
Vamos linguagem L⊆Σ∗L⊆Σ∗\mathcal{L} \subseteq \Sigma^* ser regular. Uma fatoração de LL\mathcal{L} é um par máximo (X,Y)(X,Y)(X,Y) de conjuntos de palavras com X⋅Y⊆LX⋅Y⊆LX \cdot Y \subseteq \mathcal{L} X≠∅≠YX≠∅≠YX \neq \emptyset \neq Y , onde X⋅Y={xyX⋅Y={xyX \cdot Y = \{xy | x∈X,y∈Y}x∈X,y∈Y}x...
Enquanto fazia a tarefa atual para meus idiomas formais e curso de autômatos, eu meio que fiquei preso em exercícios envolvendo idiomas unários (espero que seja o termo certo), ou seja, idiomas que se baseiam em uma única letra. Porém, não quero perguntar sobre os exercícios específicos, mas sobre...
O problema Não há uma maneira fácil de obter uma permutação com um regex. Permutação: Obtendo uma palavra ("aabc") para outra ordem, sem alterar o número ou o tipo de letras.w=x1…xnw=x1…xnw=x_1…x_n Regex: expressão regular. Para verificação: "Permutações de regex sem repetição" A resposta...
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
Eu realmente adoraria sua ajuda com o seguinte: Para qualquer fixo L2L2L_2 I precisa decidir se há fechamento nas seguintes operadores: Ar(L)={x∣∃y∈L2:xy∈L}Ar(L)={x∣∃y∈L2:xy∈L}A_r(L)=\{x \mid \exists y \in L_2 : xy \in L\} Al(L)={x∣∃y∈L:xy∈L2}Al(L)={x∣∃y∈L:xy∈L2}A_l(L)=\{x \mid \exists y \in L :...
é 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...
Seja L1L1L_1 regular, L1∩L2L1∩L2L_1 \cap L_2 regular, L2L2L_2 não regular. Mostre que L1∪L2L1∪L2L_1 \cup L_2 não é regular ou dê um contra-exemplo. Eu tentei o seguinte: Veja . Este é regular. Posso construir um autômato finito para isso: é regular, é regular, portanto, remova todos os caminhos...
Quero provar que o complemento de não é regular usando propriedades de fechamento.{0n1n∣n≥0}{0n1n∣n≥0}\{0^n1^n \mid n \geq{} 0\} Entendo que o lema de bombeamento pode ser usado para provar que não é um idioma comum. Também entendo que os idiomas regulares estão fechados sob operação complementar....
Aqui está o problema: Prove que as Máquinas de Turing de fita única que não podem gravar na parte da fita que contém a sequência de entrada reconhecem apenas idiomas regulares. Minha idéia é provar que essa TM específica é equivalente a um DFA. O uso desta TM para simular o DFA é muito...
Eu me deparei com essa pergunta: "Dê exemplos de dois idiomas regulares em que a união deles não produz um idioma comum". Isso é muito chocante para mim, porque acredito que os idiomas regulares são fechados sob união. Que significa para mim que se eu tomar duas linguagens regulares e união...
Me deparei com esta figura que mostra que linguagens regulares e sem contexto são subconjuntos (apropriados) de problemas eficientes (supostamente ). Entendo perfeitamente que problemas eficientes são um subconjunto de todos os problemas decidíveis, porque podemos resolvê-los, mas isso pode levar...
Eu pensei que todos os idiomas regulares pudessem ser expressos com expressões regulares (se um idioma for regular, pode ser expresso com regex), mas me disseram que você precisa das três operações regulares (concatenação, união e estrela) para isso segurar. Por exemplo, me disseram que se eu...
Se A2A2A^2 é regular, segue-se que AAA é regular? Minha tentativa de prova: Sim, por contradição, assuma que AAA não é regular. Em seguida, A2=A⋅AA2=A⋅AA^2 = A \cdot A . Desde concatenação de duas línguas não regular não é regular A2A2A^2 não pode ser regular. Isso contradiz nossa suposição....
Então, eu sei que testar se uma linguagem regular RRR é um subconjunto de linguagem regular SSS é decidível, já que pode converter-los tanto para DFAs, compute R∩S¯R∩S¯R \cap \bar{S} , e em seguida, teste se esta linguagem é vazia. No entanto, como isso requer conversão em DFAs, é possível que os...
Diga . Então, como podemos provar que é regular?L ∗L⊆{0}∗L⊆{0}∗L \subseteq \{0\}^*L∗L∗L^* Se é regular, é claro que também é regular. Se é finito, então é regular e novamente é regular. Também notei que, para , não é regular, e é regular.L ∗ L L ∗ L = { 0 p ∣ p é primo } L L ⊆ { 0 } ∗ L...