9. Операционна семантика на рекурсивните програми с предаване на параментите по стойност.

Семантиката на R с предаване на параметрите по стойност се базира на следните правила за опростяване:

0) сс за произволна константа с

1) Ако f е основна операция от тип Natⁿ Nat, NatⁿBool, BoolⁿBool и , то и

2а) Ако c и tt, то if theen elsec

2б) Ако c, ff, то if theen elsec

3_V) Ако c,,и c, то имаме c

3_N) Акоc, тоc

R_Vc, ако съществува редица S_o,,S_n от крайни множества от опростявания, такива, че S_o=0, и (S_i+1=S_i{}, където или е 0 прав или е заключение на някое от правилата 1-3_V, всички предпоставки на които са от S)

Операционна семантика

O_V(R):Natⁿ Nat

O_V(R) cR_V c

O_V(R)(0)1

R

S_o=0, S₁= S_o{00}

S₂= S{0=0tt}

S₃= S₂{11}

S₄= S₃{if 0=0 then1 else0.F(0-1) 1}

S₅= S₄{F₍₀₎1}