4.1. Неформальное описание семантики

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

Таблица переменных будет совпадать с таблицей идентификаторов, но в структуру каждого элемента таблицы идентификаторов добавим поле с указателем на элемент таблицы значений.

Когда на вход подается цепочка лексем, мы находим идентификатор переменной из описания, который имеет атрибут, указывающий на таблицу идентификаторов (ТИ), смотрим была ли описана эта переменная ранее. Если была, то выход с кодом ошибки. Если нет, то создаем элемент таблицы переменных и записываем в структуру переменной ее тип; выделяем память, соответствующую ее типу, в таблице значений и записываем ссылку в структуру переменной. Также необходимо занести информацию о том, что это – переменная (установить количество элементов = 1).

Если мы описываем массив, то мы в структуру переменной в ТП заносим информацию о массиве (количество элементов). После этого выделяем память в ТЗ, состоящей из N элементов (N – количество элементов в массиве). И далее записываем указатель в ТП на начало этого поля памяти (первый элемент массива).

Операции могут выполняться с двумя типами данных Boolean и Char. Операции не могут выполняться, если в них используются операнды различного типа. Чтобы это учесть, введем в структуру ячейки памяти поле TypeZ (TChar, TBool), которое и будет указывать нам тип переменной, значение которой хранится в данной ячейке. Также в выполнении операции не могут участвовать переменные и элементы массива, которые не имеют значения (не инициализированы).

При работе с массивами необходимо проверять индексы элементов массивов при обращении к ним на допустимые значения.

4.2. Атрибутная грамматика

<I>_{↓a1 ↑b1} ::=<Vars> _{↓a2 ↑b2} <Code> _{↓a3 ↑b3}

_{a2=a1; a3=b2; b1=b3;}

<MasBool>_{↓a4 ↑b4 ↑x1} ::=’<arr>’ <Id>_↑x2 ’,’ <Chislo>_↑y1 {WrRM}_{↓x3 ↓y2} {FMB}_{↓a5 ↑b5 ↓x4} ’</arr>’

_{a5=a4; b4=b5; (x1, x3, x4)=x2; y2=y1;}

< MasChar>_{↓a6 ↑b6 ↑x5} ::=’<arr>’ <Id>_↑x6 ’,’ <Chislo>_↑y3 {WrRM}_{↓x7 ↓y4} {FMC}_{↓a7 ↑b7 ↓x8} ’</arr>’

_{a7=a6; b6=b7; (x5, x7, x8)=x6; y4=y3;}

<ElMas>_↑t1 ::=’<earr>’<Id>_↑x9 ’,’ <Chislo>_↑y5 {FUkTZEM}_{↓x10 ↓y6 ↑t2} ’</earr>’

_{t1=t2; x10=x9; y6=y5;}

<Vars>_{↓a8 ↑b8} ::=’<boolean>’<NamesBool>_{↓a9 ↑b9} ’</boolean>’<R3>_{↓a10 ↑b10}

_{b8=b10; a9=a8; a10=b9;}

<Vars>_{↓a11 ↑b11} ::=’<char>’<NamesChar>_{↓a12 ↑b12} ’</char>’<R3>_{↓a13 ↑b13}

_{b11=b13; a12=a11; a13=b12;}

<R3>_{↓a14 ↑b14} ::=<Vars>_{↓a15 ↑b15}

_{a15=a14; b14=b15;}

<R3>_{↓a16 ↑b16} ::=$

_{b16= a16;}

<NamesBool>_{↓a17 ↑b17} ::=<Id>_↑x11 {NewB}_{↓a18 ↑b18 ↓x12} <R4>_{↓a19 ↑b19}

_{b17=b19; a18=a17; a19=b18; x12=x11;}

<NamesBool>_{↓a20 ↑b20} ::=<MasBool>_{↓a21 ↑b21 ↑x13} <R4>_{↓a22 ↑b22}

_{b20=b22; a21=a20; a22=b21;}

<R4>_{↓a23 ↑b23} ::=’,’<NamesBool>_{↓a24 ↑b24}

_{a24=a23; b23=b24;}

<R4>_{↓a25 ↑b25} ::=$

_{b25= a25;}

<NamesChar>_{↓a26 ↑b26} ::=<Id>_↑x14 {NewC}_{↓a27 ↑b27 ↓x15} <R5>_{↓a28 ↑b28}

_{b26=b28; a27=a26; a28=b27; x15=x14;}

<NamesChar>_{↓a29 ↑b29} ::=<MasChar>_{↓a30 ↑b30 ↑x16} <R5>_{↓a31 ↑b31}

_{b29=b31; a30=a29; a31=b30;}

<R5>_{↓a32 ↑b32} ::=’,’<NamesChar>_{↓a33 ↑b33}

_{a33=a32; b32=b33;}

<R5>_{↓a34 ↑b34} ::=$

_{b34= a34;}

<Code>_{↓a35 ↑b35} ::=’<ass>’<Perem>_↑t3 ’,’<Vyrazh>_{↓a36 ↑b36 ↑t4} {FAt=}_{↓t5 ↓t6 ↓t7} ’</ass>’<R6>_{↓a37 ↑b37}

_{a36=a35; a37=b36; b35=b37; (t5, t7)=t3; t6=t4;}

<Perem>_↑t8 ::= <Id>_↑x17 {FUkTZId}_{↓x18 ↑t9}

_{x18=x17; t8=t9;}

<Perem>_↑t10 ::= <ElMas>_↑t11

_t10=t11;

<Vyrazh>_{↓a38 ↑b38 ↑t12} ::= <Const>_↑z1

_{b38=a38; t12=z1;}

<Vyrazh>_{↓a39 ↑b39 ↑t13} ::= <Simvol>_↑c1

_{b39=a39; t13=c1;}

<Vyrazh>_{↓a40 ↑b40 ↑t14} ::= <Perem>_↑t15

_{b40=a40; t14=t15;}

<Vyrazh>_{↓a41 ↑b41 ↑t16} ::= <Operation>_{↓a42 ↑b42 ↑t17}

_{a42=a41; b41=b42; t16=t17;}

<Operation>_{↓a43 ↑b43 ↑t18} ::= ‘<and>’<Operand>_{↓a44 ↑b44 ↑t19} ’,’<Operand>_{↓a45 ↑b45 ↑t20}

{FAt&}_{↓t21 ↓t22 ↓t23} {NextZ}_{↓a46 ↑b46} ‘</and>’

_{a44=a43; a45=b44; b43=b46; (t18, t23, a46)=b45; t21=t19; t22=t20;}

<Operation>_{↓a47 ↑b47 ↑t24} ::= ‘<or>’<Operand>_{↓a48 ↑b48 ↑t25} ’,’<Operand>_{↓a49 ↑b49 ↑t26}

{FAtV}_{↓t27 ↓t28 ↓t29} {NextZ}_{↓a50 ↑b50} ‘</or>’

_{a48=a47; a49=b48; b47=b50; (t24, t29, a50)=b49; t27=t25; t28=t26;}

<Operation>_{↓a51 ↑b51 ↑t30} ::=‘<not>’<Operand>_{↓a52 ↑b52 ↑t31}{FAt!}_{↓t32 ↓t33 ↓t34}{NextZ}_{↓a53 ↑b53} ‘</not>’

_{a52=a51; b51=b53; (t30, t34, a53)=b52; t32=t31; t33=NULL;}

<Operand>_{↓a54 ↑b54 ↑t35} ::= <Operation>_{↓a55 ↑b55 ↑t36}

_{a55=a54; b54=b55; t35=t36;}

<Operand>_{↓a56 ↑b56 ↑t37} ::= <Perem>_↑t38

_{b56=a56; t37=t38;}

<Operand>_{↓a57 ↑b57 ↑t39} ::= <Const>_↑z2

_{b57=a57; t39=z2;}

<R6>_{↓a58 ↑b58} ::= <Code>_{↓a59 ↑b59}

_{a59=a58; b58=b59;}

<R6>_{↓a60 ↑b60} ::= $

_b60=a60;

Для работы нам понадобятся следующие типы атрибутов:

1. Для идентификатора:

↑X– ссылка на идентификатор в таблице идентификаторов

2. Для числа:

↑Y– ссылка на число в таблице чисел

3. Для логической константы:

↑Z– номер ячейки в таблице логических констант

4. Для символьной константы:

↑С – номер ячейки в таблице символьных констант

4. Для ячеек таблицы значений

↓A– указатель на первую свободную ячейку до начала трансляции выражения

↑B– указатель на первую свободную ячейку после завершения трансляции выражения

T– указатель на ячейку, в которой хранится (в которую необходимо записать) значение выражения (константы, переменной, элемента массива, результата операции)