y">. оператор петлі - Односимвольний слово loop.
Серед операторів присвоювання виділимо випадки: коли ? - мінлива, то оператор називається пересиланням (х: = у) і коли ? - константа, то оператор називається засиланням (х: = а).
Підкласи використовують обмежені базиси. Так, наприклад, підклас У1 має базис:
{ х1, х2 } , { а, f (1) } , { p (1) } < span align = "justify">, { start, stop, (,),: =,, < span align = "justify">} і безліч операторів { start ( х1, х2); х1: = f (x1), x2 = f (x2), x1: = а, х2: = а, р (х1), р (х2), stop (х1, х2) } , тобто схеми з цього підкласу використовують дві змінні, константу а, один одномісний функціональний символ, один предикатний символ і оператори зазначеного виду.
Лінійна форма стандартної схеми
Для використання лінійної форми СПП безліч спеціальних символів розширимо додатковими символами { :, goto, if, then, else } . СПП в лінійній формі являє собою послідовність інструкцій, яка будується наступним чином:
1. якщо вихідна дуга початкової вершини з оператором start (х1, ..., хn) веде до вершини з міткою L, то початковій вершині відповідає інструкція:
0: start (х1, ..., хn) goto L;
2. якщо вершина схеми S з міткою L - перетворювач з оператором присвоювання х: = ?, вихідна дуга якого веде до вершини з міткою L1, то цьому преобразователю відповідає інструкція:
L: x: =? goto L1;
3. якщо вершина з міткою L - заключна вершина з оператором stop ( ? 1, ...? m ), то їй відповідає інструкція
L: stop (? 1, ...,? m);
4. якщо вершина з міткою L - распознаватель з умовою р ( ? 1, ...? k) , причому 1-дуга веде до вершини з міткою L1, а...
