V oblasti teorie výpočetní složitosti, konkrétně ve studiu konečných automatů, hraje důležitou roli koncept nedeterminismu. Nedeterministické automaty s konečným stavem (NFSM) jsou teoretické modely, které umožňují, aby se v jakémkoli daném stavu vydalo více přijatelných cest. Když však čelíme takové situaci, vyvstává otázka: která