Ebook: Метаалгоритмический язык

Формализованный язык, описываемый в настоящей работе, был первоначально задуман как метаязык для формального описания семантики алгоритмических языков и поэтому получил название метаалгоритмического. Первый вариант метаалгоритмического языка описан в [1]. В дальнейшем язык был значительно усовершенствован, хотя основные идеи остались прежними. В статье дано формальное описание метаалгоритмического языка в его окончательном виде; необходимо, однако, вначале коснуться целей создания этого языка и наметить пути их достижения.