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