15. Методы лексического, семантического и синтаксического анализа Общая схема распознавателя. Виды распознавателей.

Как видно из рисунка, распознаватель состоит из следующих основных компо-

нентов:

ленты, содержащей входную цепочку символов, и считывающей головки, обо-

зревающей очередной символ в этой цепочке;

а устройства управления (УУ), которое координирует работу распознавателя,

имеет некоторый набор состояний и конечную память (для хранения своего

состояния и некоторой промежуточной информации);

внешней (рабочей) памяти, которая может хранить некоторую информацию

в процессе работы распознавателя и, в отличие от памяти УУ, имеет неогра-

ниченный объем.

Виды распознавателей :

Распознаватели можно классифицировать в зависимости от вида составляю-

щих их компонентов: считывающего, устройства, устройства управления (УУ)

и внешней памяти.

По видам считывающего устройства распознаватели могут быть двусторонние

и односторонние:

Односторонние распознаватели допускают перемещение считывающей головки

по ленте входных символов только в одном направлении.

Двусторонние распознаватели допускают, что считывающая головка может пе-

ремещаться относительно ленты входных символов в обоих направлениях: как

вперед, от начала ленты к концу, так и назад, возвращаясь к уже прочитанным

символам.

По видам устройства управления распознаватели бывают детерминированные

и недетерминированные.

По видам внешней памяти распознаватели бывают следующих типов:

1) распознаватели без внешней памяти;

2) распознаватели с ограниченной внешней памятью;

3) распознаватели с неограниченной внешней памятью.

8. Программный сегмент и программный идентификатор.

Программный сегмент - часть программы, которая может выполняться, не требуя нахождения в оперативной памяти остальных частей. 

Программный сегмент может быть наделен различными правами доступа для считывания, записи и выполнения.

Допустимый идентификатор — это слово составленное из допустимых символов алфавита языка программирования (или, что тоже самое, лексема), не являющееся знаком некоторой операции или разделителем.

Идентификаторы — это те имена, которые даются программным объектам — (именованным) константам, переменным, типам и функциям.

Некоторые лексемы являются зарезервированными (или, что тоже самое, ключевыми) словами и, поэтому, не могут быть использованы в программе в качестве идентификаторов программных объектов.