3-тақырып Азаймалы (бәсеңдейтін) және өрмелі (жоғары көтерілуші) танушылар
3.1 Азаймалы танушылар және-грамматикалар Терминалданбаған дүкендік танушылар жұмысының модельденуі реттіліктің бастауыш жай-күйден соңғы жай-күйге ауысуын іздеумен байланысты. Іздеу жеке-жеке қадамдардан тұрады.
Және олардың әрбіреуі сәтсіздікке және бастапқы жай-күйге әкелуі мүмкін. Бұндай іздеу уақытты көпалатындықтан тәжірибеде қайтымсыз жұмыс істейтін детерминалданған танушыларды қолданады. Бұл танушылар -тілдердің шектеулі кластарын ғана қолданысқа жібереді, бірақ олар бағдарламалау тілдерінің барлық синтаксистік жақтарын көрсетеді.
Танушыларды азаймалы және өрмелі деп екі категорияға бөлуге болады.
Азаймалы танушылар ережелерді жоғарыдан төмен өңдейді, яғни жоғары ережелерді төменгілерден бұрын. Ал бұл уақытта кіріс анализаторлары төмендегі ережелерді жоғарыдағылардан бұрын қолданады. Детерминалданған автоматтардың мүмкіндіктері мен олардың тұрғызылу тәсілдерін көрсету үшін бұл бөлімде түріндегі грамматикалар тудыратын азаймалы танушылар қарастырылады.
атауы Left сөзінен шыққан, себебі анализатор кіріс шынжырын солдан – оңға қарай көреді. Тәжірибеде көбінесе грамматика класы қолданылады. Олар үшін ағымды позицияда орналасқан детерминалданған бір кіріс символды танушылар жұмыс істейді. Оқудың бірінші қадамы ретінде азаймалы танушылардың грамматика кластары ішіндегі бір реттілікті қараймыз.
Бөлінген ауыспалылар.
Құрамында жою ережелері жоқ мәнмәтінді-бос грамматика төмендегі келесі екі шартты орындаса ғана бөлінген немесе жай деп аталады:
Әр ереженің оң жағы терминалмен басталса.
Егер екі ереженің сол жағы бірдей болса, онда бұл ережелердің оң жағы түрлі терминалдық символдармен басталуы керек.
Бөлінген грамматиканың негізгі қасиеттерінің бірі – олардың әрқасысына өрлемейтін детерминалданған танушы құруға болады.