Семантическая функция SSOS. | MetodPro.ru

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

Семантическая функция SSOS.


28. Семантическая функция Ssos.
Как и для семантической функции Sns смысл операторов языка While можно обобщить в виде функции из множества State на то же множество State. Определим Ssos :: Stm -> (State (-> State),
Это значит, что для каждой команды S имеем частичную функцию Ssos [S] Э (State (-> State), которая определяется как:
              ? s’ если <S,s> ->* s’
  Ssos[S]s =    ?
              ?_l_, иначе
Используя функции Sns и Ssos можно доказать теорему об эквивалентности естественной и структурно-операционной семантик языка While.





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

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