PUERTA | PUERTA-CS-2004 | Pregunta 89
L1 es un lenguaje recursivamente enumerable sobre Σ. Un algoritmo A efectivamente enumera sus palabras como w1, w2, w3, … Defina otro lenguaje L2 sobre Σ Union {#} como {wi # wj : wi, wj ∈ L1, i < j}. Aquí # es un nuevo símbolo. Considere las siguientes afirmaciones. S1 : L1 is recursive … Continue reading «PUERTA | PUERTA-CS-2004 | Pregunta 89»