Angewandte Automatentheorie, Teil 1: Grundbegriffe