Teorema de Böhm-Jacopini
Enunciado inicial
Todo diagrama de flujo computable dentro del modelo del teorema puede expresarse usando únicamente secuencia, selección e iteración.
Intuición
Los saltos arbitrarios no aumentan lo que puede computarse; pueden sustituirse por estructuras de control organizadas.
Límite
El teorema trata sobre capacidad de expresión, no garantiza que la transformación produzca el programa más claro o eficiente.
Relaciones
- Fundamenta la: Programación estructurada.
- Se relaciona con: flujo de control y terminación.
Procedencia
- Clase: Definiciones básicas y técnicas de programación.
- Fuente: diapositivas 10–11.
Para completar
- Revisar los supuestos formales del resultado original de 1966.
- Transformar un flujo con
gotoen estructuras anidadas.