بخش ۲-۱ از فصل دوم کتاب
عنوان بخش به انگلیسی: Deterministic Finite Accepter یا به اختصار DFA
عنوان بخش به فارسی: آتوماتای متناهی معین (ماشین محدود قطعی) یا پذیرنده متناهی معین