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

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 

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 livros que me …

12 formal-languages  context-free  formal-grammars  normal-forms 

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 

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 

Eu estava estudando Gödelization no curso de Teoria da Computação. Eu conseguia entender os conceitos de numeração de Gödel, mas não conseguia entender sua importância na Teoria da Computação. Alguém poderia apontar para alguns bons materiais ou apontar sua importância.

12 formal-languages  turing-machines 

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 

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 …

12 formal-languages  parsers  regular-expressions  pushdown-automata 

Existem idiomas indecidíveis, de modo que seu idioma de união / interseção / concatenado seja decidível? Qual é a interpretação física desse exemplo porque, em geral, idiomas indecidíveis não são fechados nessas operações? O que podemos dizer sobre o fechamento de Kleene? Também temos exemplos para isso? Ou seja, o …

12 formal-languages  undecidability  closure-properties 

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 

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 complexidade de estado para os complementos …

12 complexity-theory  formal-languages  reference-request  automata  finite-automata 

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 

Esta questão é sobre se todo teorema matemático pode ser reduzido à questão de uma única máquina de Turing parar. Em particular, estou interessado em conjecturas que atualmente não são comprovadas. Por exemplo: a Wikipedia diz que atualmente não se sabe se existem números perfeitos ímpares. Como é decidido se …

11 formal-languages  computability  mathematical-foundations 

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 

Minimizando autómatos finitos determinista (AFDs) é um problema que tem sido bem estudada na literatura, e vários algoritmos foram propostos para resolver o seguinte problema: Dado um DFA , calcular um mínimo DFA correspondente aceite a mesma linguagem como um . A maioria desses algoritmos é executada em tempo polinomial.UMAA\mathscr{A}UMAA\mathscr{A} …

11 algorithms  formal-languages  finite-automata