Studopediya

КАТЕГОРИИ:


Астрономия- (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) П Arhitektura- (3434) Astronomiya- (809) Biologiya- (7483) Biotehnologii- (1457) Военно дело (14632) Висока технологиите (1363) Geografiya- (913) Geologiya- (1438) на държавата (451) Demografiya- ( 1065) Къщи- (47672) журналистика и SMI- (912) Izobretatelstvo- (14524) на външните >(4268) Informatika- (17799) Iskusstvo- (1338) История- (13644) Компютри- (11121) Kosmetika- (55) Kulinariya- (373) култура (8427) Lingvistika- (374) Literatura- (1642) маркетинг-(23,702) Matematika- (16,968) инженерно (1700) медицина-(12,668) Management- (24,684) Mehanika- (15423) Naukovedenie- (506) образование-(11,852) защита truda- (3308) Pedagogika- (5571) п Политика- (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) oligrafiya- (1312) Politika- (7869) Лево- (5454) Priborostroenie- (1369) Programmirovanie- (2801) производствено (97182) от промишлеността (8706) Psihologiya- (18,388) Religiya- (3217) с комуникацията (10668) Agriculture- (299) Sotsiologiya- (6455) спортно-(42,831) Изграждане, (4793) Torgovlya- (5050) превозът (2929) Turizm- (1568) физик (3942) Filosofiya- (17015) Finansy- (26596 ) химия (22929) Ekologiya- (12095) Ekonomika- (9961) Telephones- (8441) Elektrotehnika- (4623) Мощност инженерно (12629) Yurisprudentsiya- (1492) ядрена technics- (1748)

Основни понятия за детерминирана крайни автомати




Тема 5.3. Non-детерминирана крайни автомати

Резюмето на

Преглед въпроси

1.Determinirovanny държавна машина е?

2.Какво се нарича графиката на автомата?

3. В рамките на програмата на машината, за да се разбере?

4. Във всеки случай, на езика се нарича краен състояние?

Основната концепция на детерминирана крайни автомати. Той разкри концепцията за програма машина, както и диаграми и конфигурация детерминиран автомат. Схемата на доказване на коректността на машината, която дава представа за работата на машината. Доказвам работа машина.

Цел: Да се запознаят с не-детерминирана крайни автомати и техния начин на детерминизъм.

цели:

1. За да обмислят възможността за детерминирана крайни автомати.

2. Помислете determinization nondeterministic краен автомат.

Считат за детерминирани крайни автомати са детерминирани обобщения: те четат следващия символ на входа може да бъде избран за следващия един от няколкото държави, и в допълнение, може да се промени състоянието без да четете този запис. Основният резултат е, че ние се установи, твърди, че това обобщение не е от съществено значение: не-детерминирани и детерминирани крайни автомати признават същите езици.

Не-детерминирана краен автомат (НРД) - резолвер - система от формата

М = <Σ, Q, Q 0, F, Φ>,

включващ следните компоненти:

Σ = {1 ,. , , , М} (m ≥ 1) ограничен набор - вход азбука;

Q = Q {0 ,. , , , Q п -1} (п ≥ 1) ограничен набор - азбуката вътрешни състояния;

р 0 Q първоначалното състояние;

F Получаване на множество Q (допускане, окончателните) състояния;

Φ: Q х (Σ {Ε}) → функция 2 Q преход. за Σ стойност Φ (р, а) - набор от държави във всеки от които може да се движи машината от държавна р, когато получи на входа на характера а. Φ (р, ε) - е набор от държави във всеки от които може да се движи машината от държавния р без да четете вход характер.

Що се отнася до детерминиран автомат, преход функция може да бъде представен чрез набор от командния програма: за всеки чифт р И Q Σ и всяко състояние Q ' Φ (Q, а) се поставя в програма команда QA → Q на за всяко състояние Q ' Φ (Q, ε) се поставя в програма отбор р → Q 'на. За разлика от детерминирана случая е, че една двойка р И Q Σ в програмата може да бъде няколко вида команди QA → р ", или не такъв екип. В допълнение, може да има ε-екип (празни преходи) тип р → р ", което означава възможност за директен преход от р до р" без да четете знаците във входа.



При определяне на масата на функция в таблицата показва Φ (М + 1) - тата колона съответства на празна ε символ в пресечната точка на редове и колони р и {Ε}) съществува набор от състояния Φ (Q, а).

За не-детерминирана автомат М = <Σ, Q, Q 0, Φ> в диаграмата D M = (Q, E) с избраната първоначална връх Q 0 и набор от крайни върхове F ребра един кореспонденция команди: команда тип QA → Q '(а Σ) съответства на ръб (Q, Q '), белязан с, команда на формуляра р → Q' Съответните ребро (Q, Q '), маркирани епсилон.

Ние казваме, че последователност от предварително определена пътека ръбове р = 1 д е 2. , , д T D М в диаграмата носи дума w = W 1 w 2. , , w т (тT), ако след отстраняване от него на празни ръбове (т.е. ръбове белязан ε) е последователността от ръбове т р '= маркери, които образуват думата w, т.е. w и е ръбовете на етикета 1 (≤i≤t). Очевидно, това е еквивалентно на последователността на марка върху краищата на пътя р е от формата Когато к к ≥ 0 (к = 1, 2, ..., Т + 1) и т + ,

Думата w нужди Q до Q схема D M, ако има път от Q до Q', който носи w

На не-детерминирани машини естествено прехвърля някои конфигурации и отношения на преход между тях.

Конфигурация АМ М = <Σ, Q, Q 0, F, Φ,> - тип е произволно двойка (Q, W), където Q Q и W , Ние определяме връзката М преход от една конфигурация в друга в един етап:

(Q, W) M (Q ', W) (W = AW "и Q ' Φ (Q, а)), или (w = W 'и Q' Φ (Q, ε)).

Както и при дка, чрез М означаваме рефлексивен и преходен затварянето на връзката М.

Външно, определението на думата признаване АМ съгласен с определението за DFA.

АМ М признава (приема приема) думата w, ако по някаква р F (Q ', т) M (Q, ε).

Език L M, призната от НРД M, се състои от всички думи, които могат да бъдат разпознати автоматично:

Л М = {w | Признава M w}.

Разликата е, че РНК може да бъде няколко различни начини на действие (изчисление пътеки) до същото входно думата w Ние вярваме, че НРД признава (приема приема) на думата, ако поне един от тези методи резултати в крайното състояние на Е.

От определението на D M схема следва веднага, че М НРД разпознава думата w, и то само когато е налице крайно състояние р F, че в схема D M дума w р превръща в 0 р. С други думи, има път D М р 0 Q, в която писаното w ребра (до епсилон марка).

Пример 1. Да разгледаме NCA N 1 = <{а, Ь}, {0,1,2,3,4} 0 {3}, Φ>, където е D N диаграма 1, показан на фиг. 5.15.

Фиг. 5.15. функции маса и преход диаграма NCA

Помислете за работата на тази машина на Абеба дума:

От 3 - крайно положение Абеба L N 1. Имайте предвид, че автоматът N 1, има и други начини да се работи с тази дума, не водят до крайното състояние. Така например, тогава той може да чете всеки знак, за да бъде в състояние да 0. Но беше разрешено на думата, поне достатъчно, за да бъде един добър начин.





; Дата на добавяне: 01.05.2014; ; Отзиви: 475; Нарушаването на авторски права? ;


Ние ценим Вашето мнение! Беше ли полезна публикува материал? Да | не



ТЪРСЕНЕ:


Вижте също:



zdes-stroika.ru - Studopediya (2013 - 2017) на година. Не е авторът на материала, и предоставя на студентите възможност за безплатно обучение и употреба! Най-новото допълнение , Ал IP: 66.249.93.205
Page генерира за 0.02 секунди.