NFA'dan farklı olarak; * ε(epsilon) geçişi yoktur. * Bir durumdan,bir geçiş sembolüyle en fazla bir tane duruma gidilebilir.