Студопедия.Орг Главная | Случайная страница | Контакты | Мы поможем в написании вашей работы!  
 

SMC-машина



Конфигурация

Управляющий стек

Стек (промежуточных и конечных) результатов

Память состояний

- частичная функция, отображающая адреса на целые числа, определенная только на конечном множестве адресов.

Нетрудно увидеть, что описанная SMC-машина определяет детерминистическую систему переходов. Этот факт обусловлен тем, что вершина управляющего стека уникально определяет следующий тип перехода (если таковой имеется), за исключением тех случаев, когда первым в стеке находится или , когда следующий переход определяется вершиной стека .

Определим начальные конфигурации в форме , где - команда ПЯК, а - состояние. Определим также конечные конфигурации как . Выполнение ПЯК-программы на SMC-машине описывается выражением , которое означает, что успешное выполнение команды в состоянии влечет переводит SMC-машине в состояние .





Дата публикования: 2014-12-08; Прочитано: 227 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!



studopedia.org - Студопедия.Орг - 2014-2024 год. Студопедия не является автором материалов, которые размещены. Но предоставляет возможность бесплатного использования (0.005 с)...