Nedeterministické automaty - Pavlíková, Bohuše (1973)