Perguntas com a marcação «regular-languages»

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 isso?

13 formal-languages  context-free  regular-languages 

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 cria código JavaScript em vez de regex, …

13 formal-languages  regular-languages  regular-expressions 

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 pudesse usar apenas …

12 formal-languages  regular-languages  regular-expressions  kleene-star 

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 …

12 formal-languages  regular-languages  closure-properties 

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 …

12 formal-languages  computability  regular-languages  turing-machines  automata 

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 …

12 formal-languages  regular-languages 

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 …

12 algorithms  regular-languages  automata  np-complete  decision-problem 

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 …

12 formal-languages  regular-languages  closure-properties 

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 (quantidade finita) de …

12 formal-languages  regular-languages 

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 muito tempo.PP\mathrm{P} Por que todas as linguagens regulares e …

12 formal-languages  regular-languages  context-free  efficiency 

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. No entanto, isso também implica …

12 formal-languages  regular-languages  closure-properties 

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 regular, (R1∘R2)(R1∘R2)(R_1 \circ R_2) ondeR1R1R_1 eR2R2R_2 são expressões regulares é uma expressão regular, …

11 formal-languages  regular-languages  regular-expressions 

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 …

11 algorithms  formal-languages  regular-languages  decision-problem 

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 …

11 formal-languages  regular-languages  automata 

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 0AC0AC^0

11 complexity-theory  regular-languages  circuits