Метаязык для описания семантики алгоритмических языков является алгоритмическим языком [1]. На любом универсальном алгоритмическом языке можно описать семантику любого другого алгоритмического языка, поэтому выбор того или иного алгоритмического языка в качестве метаязыка — в принципе, вопрос удобства (хотя на практике «неудобство» часто означает «невозможность»). Так как речь идет о формальных семантических описаниях, предназначенных для использования человеком, выбранный нами алгоритмический метаязык должен быть удобен для человека. Но поскольку алгоритм — в сущности, инструкция для машины, проблема метаязыка — это проблема общения человека с машиной, удобного не для машины, а для человека.
Машинно-независимые алгоритмические языки, широко применяемые в современном программировании (ФОРТАН, АЛГОЛ, КОБОЛ и т. п.), удобны для записи задач из определенной области вследствие того, что они строятся на основе формализации ряда понятий, важных и характерных для данной специальной области. Нам же нужен язык, ориентированный не на какие-либо конкретные понятия, а предназначенный для описания любых языков и понятий (метаязык), поэтому такой язык будет удобен для человека лишь в том случае, если он схватит какие-то чрезвычайно общие и в то же время важные черты человеческого мышления.
В поисках таких черт обратимся к естествен-
