Egon Börger and Andrea Maggiolo-Schettini: Fondamenti di Informatica.
ETS Editrice, Pisa 1988, pp. 87.
Textbook for an undergraduate course. Each chapter is devoted to the
introduction of one of the following basic concepts
of computation theory:
- Operational semantics of abstract machine programs
- While programs and computable functions
- A universal program and Church's thesis
- Algorithmically undecidable problems
- Finite automata and regular languages
- Context free languages