«Соңғы автоматтар және формальдік тілдер теориясы»

Қарапайым келтірім грамматиканы табу кезінде жол тілінің оң бағыты жатыр. Соңғы специялды өлшем үшін жолының келтірім түрлері жатады. Ал бүтінге грамматиканың быстапқы символы соңғы символдардың тізімінің әрбір қолдануында тізім атын ерекшелуге болады. Шығару грамматикасының оң жақ бөлігіндегі ережеге сәйкес келеді және оны терминал емес ауыстыру. Осы ереженің сол жақ бөлігінде тұрған берілмеген операция терминалданбаған орынша деп аталады. Ал ауыстырушы жол сантенция негізі деп аталады.

Шешілген процесс жазбасы тізім бұтағының төменнен жоғары (жапырақтан тамырға)сай келеді.

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

• 
  Егер мынандай символдар негізгіболса B_i = • B_i+1, B_i жәнеB_i+1
  
• 
  B_i < B_i+1, егер B_i+1 – кейбір негіздің артқы сол жақ символы;
  
• 
  B_t > B_i+1, егер B_i –кейбір негіздің артқы жақ символы.
  

Егер грамматика қарапайым кездестіру грамматикасы болса, онда негізді табу үшін әрбір оның сентенциясы элементтерін солдан оңға қарай күйде қарастыру керек және символдардың соңғы сол жақ жауыптарын табу керек. xj және xj+1, сондай Xj->Xj+\ сияқты. Грамматика сентенция негізін табудағы жүйесі 7.1 суретте көрсетілген..

• 
  L(A) = {X | 3 A^*Xz}, AV_N, XV, zV* - соңғы сол жаққа негізделген А терминалданбаған символының көптігі.
  
• 
  R(A) = {X | 3 A^*zX}, AV_n, XV, zV* - Соңғы оң символдың А терминалданбаған символына қатысты көптігі.