Пәнін оқыту-әдістемелік кешен 5В060200 «Информатика» мамандығына арналған ОҚУ-Әдістемелік материалдар


Теорема 6.1. LL(1)-грамматикасының қажетті және жеткілікті шарттары



жүктеу 2,68 Mb.
бет119/127
Дата19.11.2018
өлшемі2,68 Mb.
#20473
1   ...   115   116   117   118   119   120   121   122   ...   127

Теорема 6.1. LL(1)-грамматикасының қажетті және жеткілікті шарттары.

G(VN, VT, P, S) грамматикасы LL(1)-грамматикасының қажетті және жеткілікті болу үшін, әрбір АVN, у символ үшін, А→α 1 2 |…| αn ережесі түріндеграмматикаға бөлу үшін, мына шарттар орындалу керек:

FIRST(1, αiFOLLOW(1,A)) ∩ FIRST(1, αjFOLLOW(1, A)) = ∅, V i≠j,

Бұл дегеніміз А символы үшін Аε, түрінде ереже болса, онда барлық жиын FIRST(1, α1), FIRST(1, α2),…, FIRST(1, αn) олар жұппен қиылысуы керек, егер Аε, ереже бойынша қатысса, онда олар сонымен қатар FOLLOW(1, A) жиынымен қиылысу керек.

LL(1)-грамматикасын құру үшін FIRST(1, x) және FOLLOW(1, A). жиынын құру керек. Егер х жолы а символының терминалынан басталса, онда FIRST(1, x)=a, және егер ол А, терминал емес символдан басталса, онда FIRST(1, x)=FIRST(1, A). Бұл дегеніміз, FIRST(1, A) және FOLLOW(1, A) жиынының алгоритмнің құрылуын қарастыру үшін, әрбіреуіне А терминалды емес символы қажет.

Алгоритм 6.1. FIRST(1, A) жиынының құрылымы

Алгоритмді орындау үшін G шығу грамматикасын G, грамматикасына аудару керек, FIRST(1, A) жиынының құрылу алгоритмі G грамматикасын қолданады.



1қадам. Алдымен әрбір терминал емес А символын бірінші жиынның құрамына енгізу керек, ол бөліктің басында

2 қадам. Барлығы үшін АVN орналастыру:

FIRSTi+1(1, A) = FIRSTi(1, A) FIRSTi(1, B), V В(FIRST(1, A)∩VN).

3қадам. Егер А Vn, болса, онда FIRSTi+1(1, A) FIRSTi(1, A), онда оны орнатып i=i+1 2 – ші қадамға қайту, немесе 4 – ші қадамға өту.

4қадам. Құрылған жиыннан барлық терминал емес символдарды шығару, бұл дегеніміз



V A VN FIRST(1, A) = FIRSTi(1, A) \ N.

жүктеу 2,68 Mb.

Достарыңызбен бөлісу:
1   ...   115   116   117   118   119   120   121   122   ...   127




©g.engime.org 2024
әкімшілігінің қараңыз

    Басты бет
рсетілетін қызмет
халықаралық қаржы
Астана халықаралық
қызмет регламенті
бекіту туралы
туралы ережені
орталығы туралы
субсидиялау мемлекеттік
кеңес туралы
ніндегі кеңес
орталығын басқару
қаржы орталығын
қаржы орталығы
құрамын бекіту
неркәсіптік кешен
міндетті құпия
болуына ерікті
тексерілу мемлекеттік
медициналық тексерілу
құпия медициналық
ерікті анонимді
Бастауыш тәлім
қатысуға жолдамалар
қызметшілері арасындағы
академиялық демалыс
алушыларға академиялық
білім алушыларға
ұйымдарында білім
туралы хабарландыру
конкурс туралы
мемлекеттік қызметшілері
мемлекеттік әкімшілік
органдардың мемлекеттік
мемлекеттік органдардың
барлық мемлекеттік
арналған барлық
орналасуға арналған
лауазымына орналасуға
әкімшілік лауазымына
инфекцияның болуына
жәрдемдесудің белсенді
шараларына қатысуға
саласындағы дайындаушы
ленген қосылған
шегінде бюджетке
салығы шегінде
есептелген қосылған
ұйымдарға есептелген
дайындаушы ұйымдарға
кешен саласындағы
сомасын субсидиялау