B
Что здесь понимается под метаязыком? Я не компиляторщик.
Size: a a a
2021 April 27
VK
Язык для разработки компиляторов, на котором сделан другой язык?
МБ
Язык, на котором реализуется объектный язык. Для математики метаязык - естественный язык. Для, какого-нибудь языка векторных полей метаязык - теория множеств. Для реализуемого языка программирования метаязык - тот язык, на котором этот язык программируется.
M
BNF это метаграмматика
МБ
Метациркулярная.
ВМ
META II это вроде бы и есть некий предок BNF
VK
Нет, bnf был чуть раньше представлен в процессе работы над алголом
ВМ
Ок, значит просто современник
B
Хорошо. Тогда правильно ли я понял, что говорится, что META II выражает собственный метаязык, где говорится, что META II выражает сам себя?
DP
язык можно написать на чём угодно, метаязык = язык для описания языков
МБ
Скорее, говорится о том, что МЕТА II выражает язык, на котором можно выразить МЕТА II. То есть, не тот метаязык, на котором можно сказать "МЕТА II выражает сама себя".
МБ
Поэтому я и уточнил, что для "реализуемого".
B
То есть, в META II можно сформулировать META II, но не метаязык META II?
VK
в смысле? на метаязыке META II можно описать в том числе и метаязык META II, о том и речь 😊
МБ
Ну, как бы, в нашем ограниченном программистском понимании, если M2 можно сформулировать на М2, то М2 будет сам для себя метаязыком.
ВМ
https://youtu.be/h82XGjnudyw вспомнил где я слышал про META II
ВМ
Удивительно, что автор -- некто Пётр Советов)
ВМ
Отсылка к БНФ не совсем была корректна
g
Хмммм, кто же это такой :D
ВМ
Видео очень понравилось кстати