Konečné automaty - Malec, Zdeněk (Vysoké učení technické v Brně, 1984)