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

Vamos denotar a representação binária de um número inteiro . Deixe .bin(n)bin(n)\mbox{bin}(n)nnnL={bin(n2)∣n∈N}L={bin(n2)∣n∈N}L = \{ \mbox{bin}(n^2) \mid n \in \mathbb{N} \} é uma linguagem comum?LLL Acho que se pode provar que não é regular usando o lema de bombeamento, mas não sei como usá-lo aqui.LLL

7 formal-languages  regular-languages 

Alguém pode ajudar com isso: L ={umaEubj∣ i , j ≥ 0 e i ≠ 2 j }L={aibj∣i,j≥0 and i≠2j}L=\{a^ib^j \mid i,j \ge 0 \text{ and } i \ne 2j\} Estou tentando escrever uma gramática para esse idioma? Eu não sei como fazer isso. Eu tentei isso: S→ a a …

7 formal-languages  context-free  formal-grammars 

L1L1L_1é uma linguagem recursivamente enumerável sobre algum alfabeto . Um algoritmo enumera eficazmente as suas palavras como . é outro idioma sobre como Considere as seguintes afirmações.ΣΣ\Sigmaw1,w2,...w1,w2,...w_1, w_2, ... L2L2L_2Σ∪{#}Σ∪{#}\Sigma \cup \{\#\}{wi#wj:wi,wj∈L1,i&lt;j}{wi#wj:wi,wj∈L1,i&lt;j}\{w_i\#w_j : w_i, w_j \in L_1, i < j\} L1L1L_1 é recursivo implica é recursivoL2L2L_2 L2L2L_2 é recursivo implica …

7 formal-languages  computability 

Fiz uma pergunta pedindo que eu escolhesse o idioma inerentemente ambíguo entre um conjunto de opções. eu1 1= {umanbmcmdn|m , n ≥ 1 } ∪ {umanbncmdm|m , n ≥ 1 }L1={anbmcmdn|m,n≥1}∪{anbncmdm|m,n≥1}L_1 = \{a^nb^mc^md^n \;|\; m,n \geq 1\}\cup \{a^nb^nc^md^m \;|\; m,n \geq 1\} um n dandand eu2= {umanbmcm|m , n ≥ …

7 formal-languages  formal-grammars  context-free  ambiguity 

Estou fazendo uma tese de pós-graduação sobre a comprovação da correção do programa para multiplicar 2 matrizes usando a lógica Hoare. Para fazer isso, preciso gerar o loop invariável para aninhado para este programa: for i = 1:n for j = 1:n for k = 1:n C(i,j) = A(i,k)*B(k,j) + …

7 algorithms  loop-invariants  correctness-proof  formal-languages  regular-languages  pumping-lemma  logic  logic  programming-languages  lambda-calculus  term-rewriting  operational-semantics  complexity-theory  time-complexity  computability  proof-techniques  reductions  digital-preservation  distributed-systems  storage  algorithms  dynamic-programming  check-my-algorithm  reference-request  cryptography  quantum-computing  formal-languages  regular-languages  context-free  formal-grammars  algorithms  graphs  network-flow  algorithms  data-structures  randomized-algorithms  lists  computability  proof-techniques  undecidability  terminology  distributed-systems  parallel-computing  artificial-intelligence  heuristics  search-problem  algorithms  computational-geometry  algorithm-analysis  asymptotics  recurrence-relation  mathematical-analysis  master-theorem  algorithms  algorithm-analysis  runtime-analysis  computability  reductions  turing-machines  formal-languages  context-free 

Foi-me dada a pergunta Onde o idioma a seguir se encaixa na hierarquia de Chomsky? Soluções não negativas ( x , y)(x,y)(x,y) para a equação diofantina 3 x - y= 13x−y=13x-y=1. Eu entendo idiomas como L = {0 0n1 1n∣ n ≥ 1 }L={0n1n∣n≥1}L = \{ 0^n1^n \mid n \ge …

7 formal-languages  computability 

Estou revendo para o meu meio termo e queria postar isso para ver se alguém pode detectar algum erro. Eu devo fazer um PDA que reconheça esse CFG: SR→R1R1R1→0R∣1R∣εS→R1R1R1R→0R∣1R∣ε\qquad\begin{align} S &\to R1R1R1 \\ R &\to 0R \mid 1R \mid \varepsilon \end{align} Aqui está a minha solução; Estou ciente de que …

7 formal-languages  automata  context-free  pushdown-automata 

Observe que estou ciente da indecidibilidade da conversão de gramática livre de contexto em gramática regular. Mas, dada a propriedade de não incorporação da gramática livre de contexto de entrada, existe algum algoritmo para convertê-la em gramática regular ou diretamente no DFA?

7 formal-languages  formal-grammars  context-free