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


Алгоритм 4.2.Терминал еместі шектету



жүктеу 2,68 Mb.
бет109/127
Дата19.11.2018
өлшемі2,68 Mb.
#20473
1   ...   105   106   107   108   109   110   111   112   ...   127

Алгоритм 4.2.Терминал еместі шектету.

Кіру: КС-грамматикасы )G = (VT ,VN,P,S.



Шығу: КС-грамматикасы G = (VT, VN′, P, S), L(G) = L(G) және барлық

Z VN′ үшін қорытындылар бар Z => *x, мұнда xgVj .

Қадам 1. Терминал емес жиынды алгоритм4.1. көмегімен анықтау.



Қадам 2. VN′ =VNN,, NБ = VNVN, P = P − PБ есептеу, мұндағы PБP –бұл жиын ережесі.Ол керексіз терминал емес X NБ құрайды..

Мысал4.2. G = ({a, b, c}, {S, A, B, C},P, S грамматикасы берілген ережелермен Р: 1) Sab; 2)S АС; 3)А→АВ; 4)Bb; 5)Ссb.

Оны эквивалентті грамматикаға G алгоритм 4.2 бойынша келтіреміз:



N0 = Ø;

N1={S,B,C}.

N2={S,B,C}.
N1 = N2, онда N = {S, B, C}. Терминал емес керексіздерді өшіргеннен кейін және қорытынды ережесіннен кейін G=({a,b,c},{S,B,C},P,S) грамматикасын ережелерімен аламыз, P: 1) S → ab; 2)B→b; 5)C→cb.

Алгоритм 4.3. Жеткіліксіз символдарды шектеу.

Кіру: КС-грамматикасы G = (VT, VN, P, S).



Шығу: КС-грамматикасы G' = {Vj, VN′, P, S, ол L{G') = L(G және барлық Z V′ қорытындысы бар S => *αZβ, мұндағы α, β (V′)* .

Z грамматики G грамматикасының Z символының жиының анықтаймыз. Жиын



W = {Z | Z V, 3 (S => *αZβ); α, β V*}.

Қадам1. W0 = S қоямыз.



Қадам 2.Келесі жақындауды төмендегі үлгідей есептейміз:

Қадам3. Егер Wf ≠ Wi-1 онда i:=i+1 2-ші қадамға өтеміз, әйтпесе W = Wi есептейді.



Қадам 4. V'N =VN ∩W,VT′ =VT ∩W,VБ V−W,P=P −PБ ,есептеу,мұндағы P - Бұл жиын ережесі. Ол жеткіліксіз символдарды құрайды.

жүктеу 2,68 Mb.

Достарыңызбен бөлісу:
1   ...   105   106   107   108   109   110   111   112   ...   127




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

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