Non deterministic Automatonrather than non-deterministic, it's not stochastic but non-deterministic for stream input, yet deterministic for graph-structured input