خلال قرائتي لكود مصدري لأحد المفسرات لـ Python بالتحديد PyPy وجدت في أحد مراحله اعنماده على ما يسمى الـ DFA أو Deterministic finite automaton

و الـ NFA أو Non-Deterministic finite automaton

و أن DFA نظرية للأتمتة تصف عدد من الحالات و العمليات للانتقال بين هذه الحالات و كأنها المقابل النظري للـ State Machine مالم افهمه الـ NFA ماهي؟ و مالفرق بينهما ؟