ABSTRACT

Early models of programming languages were very ad hoc simply because there was so little accumulated experience and research. In the early 1960s, the predominant theoretical model of computation was the Turing machine, the model received from logic and mathematics. The Turing machine made sense as a model because computers of the day “looked” similar. Interestingly enough, there were many other programming models available.