Описание тега nfa

NFA - это недетерминированный конечный автомат, математическая модель вычислений, которая определяет принадлежность к обычным языкам.

Он похож на DFA, за исключением того, что он недетерминирован, и машина может находиться в нескольких состояниях одновременно. Некоторые определения NFA также допускают электронные ходы, в которых автомат может переходить между состояниями вообще без ввода.

Известно, что для каждого NFA есть также DFA, которые ожидают одного и того же языка, поэтому их вычислительная мощность идентична.