Реферат Курсовая Конспект
Абстрактная машина - раздел Компьютеры, Целью работы является практическое изучение процесса спецификации программы с помощью операционной семантики. Исторически, Первый Подход К Выработке Математически Строгой Операционной Сем...
|
Исторически, первый подход к выработке математически строгой операционной семантики программных языков был реализован в терминах абстрактной машины – системы переходов, определяющей интерпретатор языка. Рассмотрим пример, иллюстрирующий данный подход применительно к языку, который назовем простым языком команд (ПЯК). Мы будем использовать абстрактную машину, которая часто называется SMC-машиной. Возникновение данного имени обусловлено тем, что конфигурация машины может быть описана как тройка , где - стек (промежуточных или конечных) результатов, - память, то есть отображение множества целых чисел на некоторое конечное множество адресов, а - управляющий стек выражений, подлежащих разбору. Перейдем к описанию языка ПЯК.
– Конец работы –
Эта тема принадлежит разделу:
На сайте allrefs.net читайте: Целью работы является практическое изучение процесса спецификации программы с помощью операционной семантики....
Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ: Абстрактная машина
Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:
Твитнуть |
Новости и инфо для студентов