È un concetto fondamentale in informatica. Sembra essere un nuovo modello di computazione ma in realtà è equivalente a un automa a stati finiti (DFA).
Il determinismo, proprio dei DFA, è la proprietà di poter transitare da uno stato ad un solo altro stato.
Il non determinismo, proprio degli automa non deterministico a stati finiti (NFA), è la proprietà di poter transitare da uno stato a un insieme di stati.
