"есть всякие traceback-возможности" говорите? А говорили, что знакомы с теорией автоматов состояний и со свойствами операций(:-(((((.....А то бы знали, что AB не всегда равно BA...Например была команда "загрузить $43 в регистр A"...И как вы выполните эту команду назад? Как восстановите содержимое регистра до выполнения этой команды..Прежде чем писать надо думать