Navrhování automatů - Kolenička, Jan (rz1, 1974)