é 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 pensando sobre a relação entre complexidade computacional e a hierarquia de Chomsky, em geral. Em particular, se eu souber que algum problema é NP-completo, segue-se que o idioma desse problema não é livre de contexto? Por exemplo, o problema do clique é NP-completo. Segue-se que a...
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...
Parece que "Expressões regulares básicas", conforme definidas no POSIX.1-2008 , não suportam alternância a|b(embora algumas implementações grep reconheçam a versão de escape \|). Como as linguagens regulares são fechadas sob união por definição, isso significa que o POSIX BRE possui um poder menos...
Existe alguma maneira natural ou notável de relacionar ou vincular grupos de matemática e linguagens formais de CS ou algum outro conceito central de CS, por exemplo, máquinas de Turing? Estou à procura de referências / aplicações. No entanto, note que estou ciente do vínculo entre semigrupos e...
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...
Defina o idioma como . Em outras palavras, contém as palavras que não podem ser expressas como algumas palavras repetidas duas vezes. é livre de contexto ou não?LLLL={a,b}∗−{ww∣w∈{a,b}∗}L={a,b}∗−{ww∣w∈{a,b}∗}L = \{a, b\}^* - \{ww\mid w \in \{a, b\}^*\}LLLLLL Tentei cruzar com , mas ainda não posso...
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 :...
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...
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....
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...
Entendo que gramáticas sem contexto podem ser usadas para representar linguagens sem contexto. Pode ter ambiguidades. Também temos formas normais, como a forma normal de Chomsky e Greibach . Eu não conseguia entender a necessidade disso. Por que eles são importantes na teoria das línguas? Todos os...
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....
Pergunto-me, qual é a complexidade de tempo para determinar o vazio para DFAs bidirecionais? Ou seja, autômatos finitos que podem retroceder na fita de entrada somente leitura. Segundo a Wikipedia, eles são equivalentes aos DFAs, embora o DFA equivalente possa ser exponencialmente maior. Encontrei...
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...
Desejo converter uma expressão regular inserida pelo usuário em um NFA, para que eu possa executar o NFA em uma string para fins de correspondência. Qual é a máquina mínima que pode ser usada para analisar expressões regulares? Suponho que deve ser um autômato push down, porque a presença de...
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 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...
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...