An Introduction to the Theory of Automata: Course Held at the Department for Automation and Information July 1971 (CISM International Centre for Mechanical Sciences)