Ciencias de la Computación

9
Decidabilidad del lenguaje de prefijo

A mitad de período había una variante de la siguiente pregunta: Para un decidible, defina Pref ( L ) = { x ∣ ∃ y  st  x y ∈ L } Muestre que Pref ( L ) no es necesariamente decidible.LLLPref ( L ) = { x ∣ ∃ y st  x y∈ L }Pref(L)={x∣∃y s.t. xy∈L}\text{Pref}(L) = \{ x \mid \exists y \text{ s.t. }...

9
Explicación de ramas y límites

Tengo una prueba sobre la rama y el algoritmo enlazado . Entiendo teóricamente cómo funciona este algoritmo, pero no pude encontrar ejemplos que ilustren cómo este algoritmo puede implementarse prácticamente. Encontré algunos ejemplos como este, pero todavía estoy confundido al respecto. También...

9
Diagrama T del compilador cruzado

Estoy estudiando Bootstrapping de Red Dragon Book Compilers y encontré que el diagrama T para el compilador cruzado es bastante confuso. No puedo entender lo que significa "Ejecutar compilador1 a través de compilador2". ¿Alguien puede proporcionar una mejor explicación, analogía o un ejemplo para...