Разпознаване на за различните класове граматики
Езикът се определя като се определи набор от допустимите държави окончателен разпознаване. ако веригата, приложена към входния лента, позволява разпознаване за извършване на поредица от стъпки и да се спре в крайното състояние, веригата е на езика.
Оказва се, че всеки клас граматики на йерархията на Чомски, съответстващи на класа на дискриминатори. определяне от същия клас на езици:
- Pravolineyny език L единствено и само ако се установи, (еднопосочен детерминирана) краен автомат
- контекст без единствено и само ако се установи, Език L (едностранно nondeterministic) разгъване надолу автомат
- Език L контекст зависим единствено и само ако тя се определя от (двупосочна nondeterministic) Разгъване надолу автомати
- Език L рекурсивно enumerable единствено и само ако тя се определя от една машина на Тюринг (тези понятия, ние няма да работят, официално определени в хода на "изчислимост" или основен курс "Компютърни науки").
Други лекции ще бъдат посветени на определението на материалните свойства за разпознаване. споменати в тези твърдения и да се обсъдят приложимостта им в практиката.
крайни автомати
държавна машина - това е една от най-лесните механизми, използвани при работа с езика. Това за преобразуване има само определен набор от клетки на паметта, както и управляващият блок може да се движи само в дясно на входа и лентата да се промени състоянието на паметта. Основната част от крайния автомат - функция за преход. определяне възможни преходи за всяка текущото състояние и в който и да е въвеждане на символи. Разбираемо е, че възможността за преход разрешено да няколко различни машини състояния, т.е. управляващо устройство Resolver може да не бъде детерминирана. Неопределеността трябва да се разбира, както следва: ако е възможно множество преходи от дадена държава, които се създават от няколко копия на нашата машина, по един за всяка нова държава. А верига се счита за собственост на езика, ако най-малко една от основните стъпки, се допълва в крайното състояние.
С това кратко обяснение от основните идеи можем да дадем официална дефиниция на краен автомат.
Определение. Държавната машина - пет, където
- Q - крайно множество от състояния
- - ограничен набор от възможни входни символи
- - картографиране на множество P (Q). определя поведението на управляващото устройство (тази функция често се нарича функцията преход)
- - първоначалното състояние на устройството за управление
- - набор от крайни състояния
По принцип, за да се определи последващите действия на крайно автомат е достатъчно да се знае, текущото състояние на устройството за управление, както и поредица от необработени символи все още във входната касета. Този набор от данни се нарича конфигурация на машината.
Детерминистични крайни автомати
Ние определяме детерминирана краен автомат като специален случай на общо (не-детерминирана) краен автомат и да се въведат някои допълнителни дефиниции и споразумения, които ще бъдат полезни в това, което следва:
Определение. Автомат се нарича детерминиран, ако устройството не съдържа повече от една държава за всички ,. Ако винаги съдържа точно една държава (т.е. има никакъв несигурни преходи), машината се нарича напълно квалифицирани.
Определение. Думата на азбуката може да бъде държавна машина, ако има последователност, така че.
Определение. език L се разпознава от държавна машина, ако всяка дума на езика L, приет от тази държавна машина.
Определяне. Крайни автомати са удобно илюстрирани чрез преход диаграми. виж примерите по-долу (крайни състояния са обозначени с двойна кръг) .:
Автоматично. разпознава езика: Автоматично. разпознава езика:
Свързани статии