5-тақырып Атрибуттық трансляциялау грамматикалары мен түрлендірушілер
5.1 Атрибуттық трансляциялау грамматикалары мен түрлендірушілер
Синтаксистік-басқармалы кестелер мен трансляциялау грамматикалары ауысым деп аталатын кіріс және шығыс тілдер шынжырларының арасында сәйкетікті беруге мүмкіндік береді.
Семантиканы тапсыру үшін түрлі тәсілдер қолданылады, яғни олар: -грамматикалар, вен метатілі, аксиоматикалық және денотационды әдістер және атрибуттық трансляциялау грамматикалары ( -грамматикалары).
Бұл бөлімде қарастырылатын -грамматикалары басқа трансляциялау грамматикаларынан грамматика символдарына семантикалық ақпаратты көрсететін атрибуттар, қосып жазылады, ал грамматика ережелеріне атрибут мәндерін есептеу ережелері сәйкестіріледі. Атрибуттардың тағайындылығын талдау үшін бірнеше мысал келтірейік. Егер кіріс тілі константын қолдануды көздесе, онда констант атрибуты ретінде оның мағынасын алуға болады.
Констант мағынасын қисық сызықпен, мысалы түрінде жазуды уәделесейік. Егер
Достарыңызбен бөлісу: |