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

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

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


39)  Семантическая функция SAM
Смысл команды S языка While можно определить, если странслировать S в коды АМ, а затем их выполнить. Эффект этих действия можно представить  функцией:
SAM :: Stm –> (State (–> State),
которая определяется как:
       
 SAM[S] =(M o CS) [[S]]
           




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

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