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

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

Структурно - операционная семантика языка Fpl (отношение ->B)


16) Структурно-операционная семантика языка Fpl (отношение ->B)

Правило VarRc
______________
D,?|- bx ->B ?(bx)

Правило OpRc
______________________________
D,?|- bv bop bv’ ->B Ap(bop,bv,bv’)

                 D,?|- be ->B be”
D,?|- be bop be’ ->B be” bop be’

             D,?|- be’ ->B be”_____
D,?|- be bop be’ ->B be bop be”

Правило NotRc
        D,?|- be ->B be’___
D,?|- Not be ->B Not be’

______________
D,?|- Not T ->B F

______________
D,?|- Not F ->B T

Правило EqRc
                 D,?|- e ->A e”_______
D,?|- Equal(e,e’) ->B Equal(e”,e’)

                 D,?|- e’ ->A e”______
D,?|- Equal(e,e’) ->B Equal(e,e”)

                   n=n’______
D,?|- Equal(n,n’) ->B T

            n=/=n’_______
D,?|- Equal(n,n’) ->B F



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

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