У области теорије сложености рачунара, посебно у проучавању машина коначних стања, концепт недетерминизма игра важну улогу. Недетерминистичке машине коначног стања (НФСМ) су теоријски модели који омогућавају да се у било ком датом стању иде више прихватљивих путања. Међутим, када се суочи са таквом ситуацијом, поставља се питање: која