◀ ▲ ▶Branches / Theoretical-computer-science / Computability / Theorem: Simulating WHILE Programs Using GOTO Programs (and vice versa)

Theorem: Simulating WHILE Programs Using GOTO Programs (and vice versa)

Every WHILE program can be simulated using a GOTO program, and vice versa. In other words, the set of all WHILE-computable functions is equivalent to the set of all GOTO-computable functions, formally

\[W H I L E^{part} = G O T O^{part}\]

and

\[W H I L E = G O T O.\]

Table of Contents

Proofs: 1

Thank you to the contributors under CC BY-SA 4.0!

Github:

References

Bibliography

1. Erk, Katrin; Priese, Lutz: "Theoretische Informatik", Springer Verlag, 2000, 2nd Edition