Теория формальных языков и грамматик

1 . Постройте КС-грамматику операторов присваивания целых значений односимвольным переменным с использованием бинарных арифметических операций (+, -, *, /) и круглых скобок, определяющих приоритеты выполнения операций.

1.А:=в*с+(d-f/e);

2.D:=a+d/(w-12*k);

Для первого примера постройте дерево нисходящего разбора заданной терминальной цепочки по построенной Вами КС-грамматике.Для второго примера постройте дерево восходящего разбора (свертку) заданной терминальной цепочки по построенной Вами КС-грамматике.

2. Постройте детерминированную А -грамматику в виде графа состояний для языка, цепочки которого имеют заданный вид:

S:: = DECLARE;:: = {, }:: = | ():: = {,} :: = BIN FIXED| FLOAT| CHAR( ) -целая со знаком

Примеры правильных цепочек:

DECLARE AFLOAT, E BIN FIXED, TEXT CHAR (100);

DECLARE ( AB1, C ) BIN FIXED, ( EF , LN ) FLOAT;

DECLARE A CHAR (15), (V, K, L ) CHAR (15);

3. Заданную КС-грамматику приведите к грамматике Вирта (простого предшествования). Для этого устраните факультативные[]и итеративные {}скобки путем добавления новых альтернатив и праворекурсивных правил. Постройте матрицу простого предшествования. Проведите свертку указанной правильной цепочки с использованием построенных Вами отношений предшествования.

S:: = DO WHILE();:: = :: = { }

:: = + |-|/|*

:: =

-обозначаем @;-обозначаем k;

Цепочка для свертки: DO WHILE( A+8 > X);

Вырезка из файла, нужно сделать 1-3