| English |
Интерпретатор iGASM является средством редактирования, исполнения и отладки спецификаций, основанных на концепции МАС.
МАС (Машины Абстрактных Состояний) - это мощное средство формальной спецификации операционной семантики вычислительных систем (алгоритмов) на любом требуемом уровне абстракции.
Интерпретатор iGASM представляет собой Java-апплет, встраиваемый в HTML-документ.
Входной язык интерпретатора базируется на стандарте, предложенном Гуревичем и его коллегами, и расширен вспомогательными конструкциями, предоставляющими некоторые дополнительные возможности по построению и анализу спецификаций различных вычислительных систем и алгоритмов.
|
Примеры исполняемых спецификаций iGASM Синтаксис входного языка (temporarily not available) |
Использование интерпретатора iGASM:
Нажмите кнопку "Run iGASM" для начала работы с интерпретатором. Введите исходный текст спецификации в верхней текстовой области в главном окне интерпретатора, затем нажмите "Run" для анализа и выполнения спецификации.
/См. Руководство пользователя iGASM./