Множества выбора. Процедурная реализация рекурсивного спуска, страница 3


Автоматная реализация рекурсивного спуска. Автомат с несколькими состояниями

В ВебТрансЛабе – шаблоны с названием …SyntAsManySA…

Клетка управляющей таблицы автомата:

Множество выбора состояния

Флажки

Адрес перехода

a

s

r

e

Грамматика G a2

0

Z : Su

1

S : U R

2

R : + S

3

R : e

4

U : V W

5

W : * U

6

W : e

7

V : ( S )

8

V : i <идентификатор>

9

V : c <константа>

0

 Z : S u

1

 S 0 : U 9 R 10 e 11

2

 R 1 : + 12 S 13 e 14

3

 R 2 : e15

4

 U 3 : V  16 W  17 e 18

5

 W 4 : * 19 U  20 e 21

6

 W 5 : e22

7

 V 6 : ( 23 S 24 ) 25 e 26

8

 V 7 : i 27 e 28

9

 V 8 : c 29 e 30

В УП так:

 

0

 Z : S 0 u 1

1

 S 2 : U 11 R 12 e 13

2

 R 3 : + 14 S 15 e 16

3

 R 4 : e17

4

 U 5 : V  18 W  19 e 20

5

 W 6 : * 21 U  22 e 23

6

 W 7 : e24

7

 V 8 : ( 25 S 26 ) 27 e 28

8

 V 9 : i 29 e 30

9

 V 10 : c 31 e 32


Управляющая таблица:


N

M выб состояния

Флажки

Переход

a

s

r

e

0

( i c

9

1

+

1

12

2

) u

15

3

( i c

16

4

*

1

19

5

+ ) u

22

6

(

1

23

7

i

1

27

8

c

29

9

( i c

1

3

10

+ ) u

1

1

11

) u

1

12

12

+

1

13

13

( i c

1

0

14

) u

1

15

15

) u

1

16

16

( i c

1

6

17

* + ) u

1

4

18

+ ) u

1

19

19

*

1

20

20

( i c

1

3

21

+ ) u

1

22

22

+ ) u

1

23

23

(

1

24

24

( i c

1

0

25

)

1

25

26

* + ) u

1

26

27

i

1

28

28

* + ) u

1

29

29

c

1

30

30

* + ) u

1

31