Формальное описание языка приведено в работе
1967, С.С. Камынин & Э.З. Любимский, Алгоритмический машинно-ориентированный язык

вот её упоминают:
https://www.iis.nsk.su/memories/lyubimskii

Отредактировано Лис (2023-04-13 22:21:37)

В приложении 1 есть "формальное описание", русскими буквами в БНФ.

1.1. Буквы.
<Буква> ::= A | B | C | D | ... | Z |

И в принципе, там же есть какие-то идеи среди нетерминалов? Можно было бы на них ссылаться.
Только вот так ли это много и стоит ли такого пристального внимания?

Ведь явно видно, что это "учебная" грамматика, а не "боевая".
Например:
<чистая строка> ::= <любая последовательность символов, не содержащая символа ">
<строка> ::= " <чистая строка> "

Здесь мы видим, что у них нет языка для регулярных выражений (аналога Lex),
и им приходится описывать множество символов неформально.
(Ну, это помимо того, что у них строки не могут содержать двойных кавычек.)

В общем, мы могли бы лучше. Но почему-то не можем.

Отредактировано Лис (2023-04-13 23:19:32)

Я думаю, что причина в том, что не ставилась цель обеспечения выживаемости.
Вот вымрет Юрий с сайта компилер.су от старости, сайт сгинет и что останется?

А если бы его конверторы были в репозиториях всех основных дистрибутивов, тогда они бы ещё десяток лет продержались.
Ну и, конечно, при наличии книжек-учебников ещё дольше. Я думаю что MMIX будет использоваться и через 50 лет после смерти Кнута.

Конкретно по работе, обсуждаемой в этой теме - она тупо некачественная,
потому что в те годы было меньше примеров, на которые можно равняться.
Поэтому всё надо переделать на современном уровне.

Отредактировано Лис (2023-04-14 07:44:10)