Languages and machines - Sudkamp,Thomas