Структурно - операционная семантика языка Fpl. | MetodPro.ru

Реклама на сайте

Структурно - операционная семантика языка Fpl.


Структурно - операционная семантика языка Fpl

Правило VarRc:
______________________
     D, p|- x    – >a   p(x)

Правило OpRc:
___________________________________
     D, p|- n  op  n`    – >a   Ap (OpNum, n, n`)

            D,p|- e    – >a   e``             .
D,p|- e   op   e`    – >a   e``   op  e`

            D,p|- e`    – >a   e``             .
D,p|- e   op   e`    – >a   e   op  e``

Правило IfRc:
___________________________________
     D, p|-if T then e else e`    – >a   e

___________________________________
     D, p|-if F then e else e`    – >a   e`

                            D,p|-be   – >a   be`                              .
     D, p|-if be then e else e`    – >a   if be` then e else e`

Правило LocRc:
___________________________________
     D, p|- let  x=n  in e`    – >a   e`[x/n]

                             D,p|-e   – >a   e``                                .
          D, p|- let  x=e  in e`    – >a   let  x=e``  in e`   

Правило FuncRc:
__________________________________________      [F(x1…xk)<= e є D]
     D, p|- F(n1,…nk)     – >a    e([x1/n1,…xk/nk])

                             D,p|-ei   – >a   e`i                                .
          D, p|- F(e1,…ei,…ek)    – >a   F(e1,…e`i,…ek)

Структурно - операционная семантика языка Fpl для  – >в  
Правило VarRc:
______________________
     D, p|- bx    – >в   p(bx)

Правило OpRc:
___________________________________
     D, p|- bv  op  bv`    – >в   Ap (BOp, bv, bv`)

            D,p|- be    – >в   be``             .
D,p|- be   bop   be`    – >в   be``   bop  be`

            D,p|- be`    – >в   be``             .
D,p|- be   bop   e`    – >в   be   op  be``

Правило NotRc:
            D,p|- be    – >в   be`             .
D,p|- not (be)    – >в   not (be`)

___________________________________
     D, p|- not(T)    – >в   F

______________________
     D, p|- not(F)    – >в   T

Правило EqRc:
            D,p|- e    – >a   e``             .
D,p|- equal (e, e`)    – >в   equal (e``, e`)

                         N==N`                           .
D,p|- equal (N, N`)    – >в   T

                         N=/=N`                           .
D,p|- equal (N, N`)    – >в   F




Методические пособия

  • Системы автоматизированного проектирования
  • Социология молодёжи
  • Общая социология
  • Криптография
  • Проектирование трансляторов
  • Компьютерная графика
  • Моделирование систем
  • Информационная безопасность
  • Теория вычислительных процессов
  • Логические основы искусственного интелекта
  • Проектирование распределённых информационных систем