A Generator for Turing Machine Simulating Programs - User's Manual -

Abstract

By means of some sample dialogues we show the use of a program to generate Berkeley Pascal programs from Turing machine descriptions such that these Pascal programs simulate the behavior of the corresponding Turing machines