Изменения

Язык НКА является автоматным языком, так как для любого НКА можно [[Построение по НКА эквивалентного ДКА, алгоритм Томпсона|построить эквивалентный ему ДКА]], а, значит, вычислительная мощность этих двух автоматов совпадает.