Аннотация:
Предлагается формализм для описания помеченных систем переходов, который унифицируют формат состояний системы переходов, формат инструкций компьютерных языков, представляемых метками системы переходов, и формат и семантику правил перехода и, тем самым, делает процесс разработки операционной семантики компьютерных языков более технологичным.
Ключевые слова:операционная семантика, помеченные системы переходов.
Полный текст:
PDF файл (795 kB)