КАТЕГОРИЯ:


Астрономия- (809) Биология- (7483) Биотехнологии- (1457) Военное дело- (14632) Высокие технологии- (1363) География- (913) Геология- (1438) Государство- (451) Демография- (1065) Дом- (47672) Журналистика и СМИ- (912) Изобретательство- (14524) Иностранные языки- (4268) Информатика- (17799) Искусство- (1338) История- (13644) Компьютеры- (11121) Косметика- (55) Кулинария- (373) Культура- (8427) Лингвистика- (374) Литература- (1642) Маркетинг- (23702) Математика- (16968) Машиностроение- (1700) Медицина- (12668) Менеджмент- (24684) Механика- (15423) Науковедение- (506) Образование- (11852) Охрана труда- (3308) Педагогика- (5571) Полиграфия- (1312) Политика- (7869) Право- (5454) Приборостроение- (1369) Программирование- (2801) Производство- (97182) Промышленность- (8706) Психология- (18388) Религия- (3217) Связь- (10668) Сельское хозяйство- (299) Социология- (6455) Спорт- (42831) Строительство- (4793) Торговля- (5050) Транспорт- (2929) Туризм- (1568) Физика- (3942) Философия- (17015) Финансы- (26596) Химия- (22929) Экология- (12095) Экономика- (9961) Электроника- (8441) Электротехника- (4623) Энергетика- (12629) Юриспруденция- (1492) Ядерная техника- (1748) Arhitektura- (3434) Astronomiya- (809) Biologiya- (7483) Biotehnologii- (1457) Военни бизнесмен (14632) Висока technologies- (1363) Geografiya- (913) Geologiya- (1438) на държавата (451) Demografiya- ( 1065) Къща- (47672) журналистика и смирен (912) Izobretatelstvo- (14524) външен >(4268) Informatika- (17799) Iskusstvo- (1338) историята е (13644) Компютри- (11,121) Kosmetika- (55) Kulinariya- (373) културата е (8427) Lingvistika- (374) Literatura- (1642) маркетинг-(23702) математиците на (16968) Механична инженерно (1700) медицина-(12668) Management- (24684) Mehanika- (15423) Naukovedenie- (506) образователна (11852) truda- сигурност (3308) Pedagogika- (5571) Poligrafiya- (1312) Politika- (7869) Лево- (5454) Priborostroenie- (1369) Programmirovanie- (2801) производствено (97 182 ) индустрия- (8706) Psihologiya- (18388) Religiya- (3217) Svyaz (10668) Agriculture- (299) Sotsiologiya- (6455) на (42831) спортист строително (4793) Torgovlya- (5050) транспорт ( 2929) Turizm- (1568) физик (3942) Filosofiya- (17015) Finansy- (26596) химия (22929) Ekologiya- (12095) Ekonomika- (9961) Electronics- (8441) Elektrotehnika- (4623) Мощност инженерно ( 12629) Yurisprudentsiya- (1492) ядрена technics- (1748)

Един алгоритъм за построяване на PDA за произволни контекстно-свободни граматики




Равностойността на PDA и контекстно-свободни граматики на

Лема: За всеки CFG е възможно да се изгради подходяща
А PDA и обратно.

Ние се изгради естествен (не-детерминирана) "отгоре-надолу" за преобразуване, което е равно на граматики контекстно-свободен.

Вход за потребители: - Произволно CFG.

изход: - А PDA, което позволява изпразване на веригата за магазин, така че ,

метод:

1. Комплектът MP-членки на автомата ще изглежда ;

2. Въвеждане азбука MP машина съвпада с азбуката на терминални символи на оригиналния граматика;

3. азбуката на стека символи е както следва ;

4. първоначалното състояние е единствената държава, която е ;

5. началните символи стека ще бъдат насочени характер CFG ;

6. В комплекта на крайните състояния на MP, машината може да бъде или празна, или той ще съдържа само една държава. По-конкретно, нека ;

7. Определяне на снимачната площадка Получената MP-машина както следва:

а. Ако първоначалният набор от правила на граматиката съдържа норма на формата , , След това се премести в най-различни функции машина добавя към функцията за преход от формата за , , ;

б. В комплекта на преход функции машината се добавят всички видове преходи за , ,

Пример:

1. Изграждане на PDA, който разпознава езика, определен от множество И генерира граматика контекст-свободен с вида на правила ;

2. Изграждане на поредица от цикли на работа MP машина за вериги , ,

Решение:

1. MP машина ще изглежда така

където функцията преход ще бъде следната

,

,

,

2. Сега изграждане на последователност на работа на цикъла на машината за различни вериги

а. Последователността на работа на цикъла на машината за веригата ще изглежда

б. Последователността на работа на цикъла на машината за веригата ще изглежда

Домашна работа: P Ostrow за PDA следната граматика на

,

И за изграждане на поредица от цикли на MP работата на машината за верига

,

Домашна работа (премахнете на практика): R Ostrow за PDA следната граматика на

,

където

,

И за изграждане на поредица от цикли на MP работата на машината за верига

,

Вид разбор държани за CFG MP машина конструирана по-горе, се нарича "отгоре-надолу анализ" ( "анализ на отгоре-надолу") или "предсказуем анализ", защото в този случай изходното дървото е изградена основно от по-горе (от корена) надолу, всеки тип цикъл Това може да се тълкува като предсказване на следващата стъпка напусна продукцията.

Можете да се изгради напреднал IP-автоматична, която е оператор на "отгоре-надолу", като "отдолу-нагоре анализатор" моделиране в обратен ред на правила извод в CFG.



Във всякакъв контекст без граматики Можете да се изгради равностоен напреднал MP-машина , Той е удобен да си представим един магазин във формата на една верига, на върха на която е символ на най-дясната, а не най-левия символ. По силата на това споразумение, разширена конфигурация на MP-машина са определени по същия начин, както преди, и съотношението малко по-различен. ако , Пишем за , ,

Вижда се, че наименованието MF машината като седем може да се тълкува като две различни MP машина зависимост от това кой от героите - надясно или наляво - горна смята. Може да се отбележи, че удобството на символи, създадени от двете споразумения надвишава възможността от объркване в началните понятия. В бъдеще, освен ако не е указано друго, ние предполагаме, че един обикновен магазин MP машина се намира в лявата върха, а разгънатото - отдясно.

Лема: За всеки CFG е възможно да се изгради подходяща
напреднал IP-автоматично и обратно.