Теория алгоритмов и формальных языков. Мелихов А.Н - 56 стр.

UptoLike

ВУЗ: 

ТТИ ЮФУ | Таганрог

Составители: 

Рубрика: 

необходимо для правильного исчисления операторов. КУ, связанные со
второй особенностью, используются для распределения памяти. Во многих
языках для этой цели используются конструкции: типа «блок» языка Алгол.
В этих конструкциях вводятся в употребление каждая переменная,
используемая в блоке.
Все КУ можно свести к четырем типам. 1-й тип - КУ, описывающие
тип переменных. Ими
описываются, например, в Алголе: простые
переменные, массивы, переключатели. 2-й тип - КУ, определяющие
взаимосвязь между определяющими и использующими вхождениями.
Определяющее вхождение указывает правило использования символа, а
использующее - место его вхождения. 3-й тип - КУ, определяющие
соотношение типов величин. Для проверки КУ этого типа необходимо знать
тип переменных, а для этого их надо
идентифицировать, т.е. основная часть
проверки данных КУ - исполнение идентификации. 4-й тип - КУ,
определяющие ограничения, накладываемые конкретной ЭВМ,
транслятором. Можно сказать, что КУ этого типа определяются входным
языком транслятора.
3.3. Алгоритмы с магазинной памятью (МПА)
МПА - подкласс машин Тьюринга, предназначенных для
распознавания КС-языков. МПА состоит из входной ленты N
, бесконечной в
обе стороны, рабочей ленты М, бесконечной вправо, управляющего
устройства А, регулирующего работу двух головок - входной и рабочей.
Входная головка читает символы входной ленты, рабочая - символы рабочей
ленты. Кроме того, рабочая головка может стирать и записывать символы на
рабочей ленте. Каждая головка передвигает свою ленту. На входную ленту
заносятся
символы из входного словаря },,...,,{
21
eaaaV
mT
=
, где е - единичный
символ. Входное слово справа и слева окружается пробелами. На рабочую
ленту заносятся символы из рабочего словаря
σ
,,...,,{
21 pA
AAAV
=
, где
σ
-

Страницы