На этой странице можно скачать этот файл совершенно бесплатно и без регистрации и без отправки смс, а также без различного рода ограничений.
Скачивайте и учитесь, надеемся, наш сайт помог вам "погрызть гранит науки"
Турчин В.Ф. Метаалгоритмический язык
Статья из журнала "Кибернетика", №4, 1968, 10 стр.
Формализованный язык, описываемый в настоящей работе, был первоначально задуман как метаязык для формального описания семантики алгоритмических языков и поэтому получил название метаалгоритмического. В дальнейшем язык был значительно усовершенствован, хотя основные идеи остались прежними. В статье дано формальное описание метаалгоритмического языка в его окончательном виде; необходимо, однако, вначале коснуться целей создания этого языка и наметить пути их достижения.
Общение человека с машиной и формализация семантики. Формальное описание метаалгоритмического языка. Примеры, пояснения и некоторые теоремы. Формализация некоторых понятий программирования.