Базис стандартной схемы

Задание:

1. Построить базис стандартной схемы
2. Реализовать стандартную схему в графовой и линейной форме
3. Составить интерпретацию и протокол для заданной схемы

Расчет суммы ряда   для первых 5 элементов, a € N

 

Выполнение работы:

 

1. Базис стандартной схемы

X = {a; i; S} – множество символов

F = {f1⁽⁰⁾; f2⁽⁰⁾;  g(i)⁽¹⁾; h(S,i)⁽²⁾ } – множество функциональных символов

P = {T; F; p(i)⁽¹⁾} – множество логических функций

{start; stop; goto; if; else} – множество специальных символов

 

2. Реализация стандартной схемы в графовой форме:

 

                                             0

                                                

 

                                             1

           

 

                                             2

 

 

                                              3

                                                                      -

 

                                                            +             6

                                                        4

 

 

 

                                             5  

 

 

 

 

 

 

Реализация стандартной схемы  в линейной форме:

 

0: Start (a)

1: i:=f1

2: S:=f2

3: If p(i) then 4 else 6

4: i:=g(i)

5: S:=h(S,i) goto 3

6: stop(S)

 

1. Интерпретация:

a:= 2; f1:= 0; f2:= 0

h(S,i)= S + 1/aⁱ

g (i) = i +1

p(i) = i < 5

 

Протокол:

 

метка	a	i	S	i<5
0	2	?	?	?
1	2	0	?	?
2	2	0	0	+
3	2	0	0	+
4	2	1	0	+
5	2	1	0.5	+
3	2	1	0.5	+
4	2	2	0.5	+
5	2	2	0.75	+
3	2	2	0.75	+
4	2	3	0.75	+
5	2	3	0.875	+
3	2	3	0.875	+
4	2	4	0.875	+
5	2	4	0.9375	+
3	2	4	0.9375	+
4	2	5	0.9375	+
5	2	5	0.96875	+
3	2	5	0.96875	-
6	2	5	0.96875	-