Отношения =>A и =>B для языка Fpl. | MetodPro.ru

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

Отношения =>A и =>B для языка Fpl.


13) Отношение =>A для языка Fpl
      Записывается    D, p|- e    =>A    v    ,
       а читается так:     «Если продекларировано D , то в окружении р выражение e даст арифметический результат v» .
      Имеет тип:         =>A   : Dec – > ENV – > Exp – > Num
     
Отношение =>B для языка Fpl
         Записывается    D, p|- e   =>B   v    ,
       а читается так:     «Если продекларировано D , то в окружении р выражение e даст логический результат v» .
      Декларации влияют и на вычисление булевых значений. Например, выражение Equal(F(e),G(e/)) – булево и использует функции F и G.
       Следовательно, отношение =>B имеет тип:
 =>B  : Dec -> ENV -> BExp -> {T,F}
Результат работы программы
      Отношения =>B и =>A позволяют определить результат программы <e,D>.
      p |- <e,D> => v
      если
      D, p|- e   =>A   v



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

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