
By Prof. Dr. Jacques Loeckx (auth.)
The current Lecture Notes developed from a path given on the Technische Hogeschool Eindhoven and later on the Technische Hogeschool Twente. they're meant for desktop technological know-how scholars; extra in particular, their target is to introduce the notions of computability and decidability, and to arrange for the learn of automata idea, formal language conception and the idea of computing. with the exception of a basic mathematical history no initial wisdom is presupposed, yet a few event in programming could be useful. whereas classical treatises on computability and decidability are orientated in the direction of the root of arithmetic or mathematical common sense, the current notes try and relate the topic to desktop technology. hence, the disclose relies at the use of strings instead of on that of common numbers; the notations are just like these in use in automata idea; moreover, in accordance with a typical utilization in formal language conception, many of the proofs of computability are lowered to the semi-formal description of a strategy the constructivity of that's obvious to anyone having a few programming adventure. although those evidence the topic is taken care of with mathematical rigor; a number of casual reviews are inserted so as to let an outstanding intuitive figuring out. i'm indebted to all those that drew my realization to a few error and ambiguities in a initial model of those Notes. i would like additionally to thank omit L.A. Krukerink for her diligence in typing the manuscript.