Включается режим переполоха, одно состояние сбрасывается с верхушки стека, ожидаемыми будут символы из множества выбора состояния 21 (второе сверху в стеке). Это символ )
23 |
24 |
25 |
26 |
27 |
28 |
) |
* |
* |
* |
) |
( |
21 |
16 |
6 |
17 |
18 |
|
16 |
12 |
12 |
12 |
12 |
|
12 |
1 |
1 |
1 |
1 |
|
1 |
Уровень дерева разбора теперь выглядит так:( S ) *…
Вновь включаем режим переполоха. Теперь ожидаемые символы – это множество выбора состояния 12.
Это символы + ) u
29 |
30 |
31 |
32 |
33 |
34 |
35 |
36 |
37 |
38 |
39 |
40 |
41 |
42 |
( |
+ |
+ |
+ |
+ |
y |
y |
y |
y |
y |
y |
y |
y |
u |
12 |
3 |
13 |
14 |
2 |
11 |
5 |
15 |
8 |
9 |
22 |
16 |
||
1 |
1 |
1 |
1 |
1 |
1 |
12 |
12 |
16 |
16 |
16 |
12 |
||
1 |
1 |
12 |
12 |
12 |
1 |
||||||||
1 |
1 |
1 |
Будет сформировано 2 сообщения об ошибках, одно полностью соответствующее действительности и соответствующее точке x = ( x +▼ ) ) * ) ( ( + y ;
второе – очень странное, указывающее на точку: ( x + ) ) * ▼ ) ( ( + yu, о том, что здесь ожидается + ) u
Нисходящий автомат с одним состоянием ведет себя аналогично:
i |
c |
+ |
* |
( |
) |
u |
|
S |
¯ R ¯ U |
¯ R ¯ U |
¯ R ¯ U |
||||
U |
¯ W ¯ V |
¯ W ¯ V |
¯ W ¯ V |
||||
R |
¯ S ® |
|
|
||||
W |
|
¯ U ® |
|
|
|||
V |
® |
® |
¯ ) ¯ S ® |
||||
u |
Stop |
||||||
) |
® |
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.