Nicht - deterministische stochastische Automaten - Šústal, Jiří (1971)