stochastické a nedeterministické automaty