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

Encontrei esse problema envolvendo a manipulação de uma linguagem livre de contexto. Seja uma linguagem livre de contexto. Definir L # = { x : x i ∈ L para cada i = 0 , 1 , 2 , . . . } . É L # sempre livre de …

9 formal-languages  context-free 

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 …

9 formal-languages  regular-languages  regular-expressions 

No artigo Analisando expressões por descendência recursiva de Theodore Norvell (1999), o autor começa com a seguinte gramática para expressões aritméticas: E --> E "+" E | E "-" E | "-" E | E "*" E | E "/" E | E "^" E | "(" E ")" | …

9 formal-languages  context-free  formal-grammars  left-recursion 

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 é possível?

9 formal-languages  regular-languages  pumping-lemma  intuition 

Gostaria de usar sua ajuda com o seguinte problema: . Mostram que a L ∉ R E ∪ C O R E .L={⟨M⟩∣L(M) is context-free}L={⟨M⟩∣L(M) is context-free}L=\{⟨M⟩ ∣ L(M) \mbox{ is context-free} \}L∉RE∪CoREL∉RE∪CoREL \notin RE \cup CoRE Eu sei que para provar , é o suficiente para encontrar uma linguagem …

9 formal-languages  computability  context-free  turing-machines 

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 direita para a …

9 formal-languages  automata  regular-languages  finite-automata  nondeterminism 

Estou preso resolvendo o próximo exercício: Argumente que se é livre de contexto e R é regular, então L / R = { w ∣ ∃ x ∈ ReuLLRRR (ou seja, oquociente certo) é livre de contexto.L / R = { w ∣ ∃ x ∈ Rstw x ∈ L …

9 formal-languages  context-free  finite-automata  closure-properties  pushdown-automata 

Recentemente, conversei com um amigo sobre um site que propunha desafios regex, combinando principalmente um grupo de palavras com uma propriedade especial. Ele estava procurando por um regex que corresponda a cadeias de caracteres como ||||||||onde o número de |é primo. Eu imediatamente disse a ele que nunca funcionaria, porque …

9 formal-languages  machine-models  logic  boolean-algebra  xor  cryptography  algorithms  machine-learning  algorithms  paging  virtual-memory  programming-languages  object-oriented  algorithms  search-algorithms  strings  binary-search  formal-grammars  context-free  algorithms  algorithms  correctness-proof  greedy-algorithms  permutations  logic  first-order-logic  logic-programming  algorithms  complexity-theory  computability  programming-languages  complexity-theory  complexity-classes  quantum-computing  reductions  formal-languages  programming-languages  semantics  operational-semantics  small-step-semantics  sets  first-order-logic  computer-networks  communication-protocols 

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 regulares. Até agora, pensei em: usando o lema de …

9 formal-languages  regular-languages  finite-automata 

Eu tenho lido alguns artigos formais de teoria da linguagem e me deparei com um termo que não entendo. O documento geralmente se refere a um conjunto "efetivamente fechado sob interseção" ou outras operações. O que "efetivamente" significa aqui? Como isso difere do fechamento normal? Para referência, o artigo em …

9 formal-languages  terminology  computability  automata  closure-properties 

Eu sou um graduado em CS (mas não sei muito sobre IA, mas não fiz nenhum curso sobre ela, e definitivamente nada sobre NN até recentemente), que está prestes a fazer um projeto escolar em AI, então escolho alguns tópicos sobre indução gramatical (da linguagem livre de contexto e talvez …

9 formal-languages  machine-learning  artificial-intelligence  neural-networks 

Em nosso curso de conceitos de linguagem de programação, nosso instrutor afirmou que não há problema em um estado final levar a outro estado em um diagrama de estados finitos. Mas esse parece ser um conceito fundamentalmente contraditório. Como um estado final, por definição, é aquele que termina as transições, …

8 formal-languages  graphs  regular-languages  finite-automata 

Considere a sequência s1=(1,0,1,0,…)s1=(1,0,1,0,…)s_1 = (1, 0, 1, 0,\dots). Parece "regular" de uma maneira que, por exemplo,s2=(1,2,3,4,…)s2=(1,2,3,4,…)s_2 = (1, 2, 3, 4,\dots) não é. Não sei ao certo como formalizar essa intuição. Uma coisa que me impressiona é queL={(01)n}L={(01)n}L =\{(0 1)^n\} é uma linguagem regular e s1s1s_1 é, em certo …

8 formal-languages  regular-languages 

Estou tendo problemas para tentar determinar se todos os números quadrados (1, 4, 9, 16, ...) escritos em formato binário (1, 100, 1001, ...) são uma linguagem comum. Após algumas tentativas de encontrar um padrão comum desses números, descobri que, para qualquer número quadrado n2n2n^2, n2mod4n2mod4n^2 mod 4é igual a …

8 formal-languages  regular-languages  automata  finite-automata 

Na aula, nosso professor nos mostrou três métodos para provar a não regularidade: Teorema de Myhill – Nerode Lemma de bombeamento para idiomas regulares Prova de não regularidade, com base na complexidade de Kolmogorov Agora, os dois primeiros, teorema de Myhill-Nerode e lema de Pumping, eu entendi bem e também …

8 formal-languages  regular-languages  proof-techniques  kolmogorov-complexity