Семантика на програмните езициОперационна семантика на рекурсивните програми с предаване на параменти
| Информационни технологии | 2009-12-04 | 75 сваляния |
9. Операционна семантика на рекурсивните програми с предаване на параментите по стойност.
Семантиката на R с предаване на параметрите по стойност се базира на следните правила за опростяване:
0) с
с за произволна константа с
1) Ако f е основна операция от тип Natn
Nat, Natn
Bool, Booln
Bool и
, то
и ![]()
2а) Ако ![]()
c и ![]()
tt, то if
theen
else![]()
c
2б) Ако ![]()
c, ![]()
ff, то if
theen
else![]()
c
3V) Ако ![]()
c,,![]()
![]()
и ![]()
c, то имаме ![]()
c
3N) Ако![]()
c, то![]()
c
RV![]()
c, ако съществува редица So,,Sn от крайни множества от опростявания, такива, че So=0,
и (Si+1=Si
{
}, където
или е 0 прав или
е заключение на някое от правилата 1-3V, всички предпоставки на които са от S
)
Операционна семантика
OV(R):Natn
Nat
OV(R) ![]()
c
RV![]()
![]()
c
OV(R)(0)
1
R
So=0, S1= So
{0
0}
S2= S
{0=0
tt}
S3= S2
{1
1}
S4= S3
{if 0=0 then1 else0.F(0-1)
1}
S5= S4
{F(0)
1}
Добави своя коментар:
Тагове от реферата: иопераионна, рекурсивнит, програмнит, семаика, предане, програми











