## Definition of Programming Languages by Interpreting Automata |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Common terms and phrases

abstract abstract program abstract syntax accepted according apply argument assignment associated automata automaton axioms begin block called carried chapter components condition considered consists contains context-free corresponds data structures defined definition denoted derived described designator discussed elements empty environment equal equivalence example exists expression extended final finite formal function further give given grammar graph identifier initial instruction integer interpreting introduced is-expr is-stat labelled lemma letters logical means mentioned nodes notation Note object obtained occur operation parameters PASS PL fragment possible predicate present problem procedure processing processor production rules programming languages proof properties proved pushdown reference relation represented result satisfies Section seen selected selectors sequence shown stack stat statements string Suppose symbols syntactical terminals theorem theory transformed transition tree true unique name variables write