Ауысу немесе трансляциялауды мазмұндау

Қарастырылып отырған кіріс шынжырына арналып құрылған постфикстік жазылым дұрыс екенін байқаймыз.

Трансляциялау грамматикасы ( -грамматика) деп символдары іс-әрекет символы деп аталатын терминалдық символдар жиыны кіріс және шығыс символдар жиынына бөлінген -грамматика аталады.

– грамматикасына мысал ретінде келесі грамматиканы келтіруге болады:

Кіріс және шығыс алфавиттерінде бірдей символдарды қолданғанда шатаспау үшін шығыс символдарын фигуралық жақшалармен белгілейміз. Бұндай белгілеулермен қолданылатын грамматикасының ережесі төмендегідей болады:

Трансляциялау грамматикаларында шшығулар басқа -грамматикаларда сияқты орындалады.

Әрбір –грамматикадан біреу – кіріс шынжырын, ал екіншісі – шығыс шынжырын құруға мүмкіншілік беретін екі грамматика алуға болады.

Әрбір жай -кестелі үшін трансляциялаушы грамматикасын құруға болады және -кесте мен -грамматикасы тудыратын ауысымдар сәйкес келеді: .

Бұл формуланың айқындығын көрсету үшін -кестесі бойынша берілген -грамматикасының тұрғызылу тәсілін мазмұндайық. Айтарлық -кестелі берілген және -грамматикасын құру керек.

Бұны орындауға болады, себебі -кестесі жай және оның әр ережесі үнемі бір терминал емес символдарды бір ретпен қолданылады. әңгімеленген тұжырымды мысалмен толықтырайық:

шынжырының құрылған грамматиканың ережелерін қолданумен ауысымы келесі шығарылу көмегімен алынуы мүмкін:

Алынған шынжырдан алдымен шығыс, одан кіріс символдарын шығара отырып келесі шығару жұбын аламыз:

ол -кестесінде берілген шығыс нәтижелеріне сәйкес келеді.