Простые СУ-

схемы, простые
СУ-переводы
Определения
 Даны два алфавита – перевод
- синтаксически-управляемая(СУ) схема перевода, где:
– конечное множество нетерминальных символов
– входной алфавит
– выходной алфавит
– множество правил вида , где и
– начальный нетерминал
СУ-схема называется простой, если все правила имеют вид:
, где и
 Определения
 - отношение непосредственной выводимости.
Скажем, что, если
и , то
= и , при этом
И
- рефлексивное, транзитивное замыкание

Перевод называется простым, если существует порождающая его СУ-схема

Пример
 T=({S, A, B}, {a, b}, {0, 1}, П, S)  
П: S -> AB, AB
A-> aA, 0A0 B-> Bbb, 1B
A-> e, e B-> b, e
(S, S) (AB, AB) (aAB, 0A0B)
(aABbb,0A01B) (aaABbb, 00A001B)
(aaBbb, 00001B) (aabbb, 00001)
T=({S}, {a, +, *, (, ) }, {a, +, * }, П, S )
П: S-> S+S, SS+
S-> S*S, SS*
S-> (S), S
S-> a, a
(S,S) (S*S, SS*) (S*(S), SS*)
(S*(S+S), SSS+*) (S*(a+S), SaS+*)
(a*(a+S), aaS+*) (a*(a+a), aaa+*)

перевод арифм.выражений из инфиксной

формы в постфиксную
Примеры для решения
   

S-> AB, AB
(abba, 011110) A->aA, 00A
S-> aS, 0S A->e,e,
S->bS, 11S B-> bB, 1B
S->e, e B->e,1

S->aS, 00S
S-> aS, 00S S->Sb, S1
S->A, 1A S-> e, 1
A->bA, 1A
A->e, e
Примеры для решения
   }

S->aS, S1 (bababb, aabbbb)

S-> Sb, 0S S->aS, aS
S->e,e S->bS, Sb
S->e,e
Задачи для самостоятельного
решения
 

1. {()}
2. {(x, y) | x – число в двоичной системе счисления, y – то же число в 8-ичной системе}

3. {(x,y) | x {a, _}* y получается путем удаления из х лишних _ , у не может начинаться и

оканчиваться _ и не содержит подряд два символа _ }
4. {(x, y) | x –некоторое вещественное число, у – то же число без лишних 0}
 
S-> aSc, 0S1
S->A, A
A->bA, A
A->e, e
 
(abaab, abaab1)

S->bS, bS
S->aA, aA
A->aS, aS
A->bA, bA
S->e, 0
A->e, 1