черновик. метаязык метамоделей. (ЧММ - 2)
(ЧММ - 2)
---
Я просто излагаю свой поток сознания, убеждений пока нет.
Ну вот есть у нас имена.
Пусть так @имя.
Возникает вопрос более точного определения самого имени и составление структур из имен.
В голове держим Лисп и алгоритмы Маркова.
Имена обычно последовательности символов произвольной длины.
Т.е. состоят из символов.
Но отдельный символ тоже имя.
(далее из имен нам надо конструировать сложные структуры имен)
Тут можно немного разными путями конструировать одно и тоже, кажется непринципиально особо каким именно.
Мы можем объявлять любой символ - атомным именем, элементарным именем.
!(посмотреть как там Герцель в проекте Атомиз сделал?)
Длинное имя (составное) состоит из коротких имён(символов).
! нам требуется операция соединения (нечто типа CONS из Лиспа, конкатенция строк)
https://ru.wikipedia.org/wiki/Cons
Таких операций сразу вижу два типа.
1. тип. бесструктурное соединение
из символов получаем длинную строку
2. тип. структурное соединение
получаем структуру из имен
Но тут сильно тоже перемудривать не надо.
Под именем стоит понимать неформально
Имя= последовательность символов, первый символ @ , до первого пробела.
Мотивация, пробелы у нас тоже символы, даже если мы их не видим.
Ну и у нас должен быть спецсимвол в любом случае.
Ставить ли в дальнейшем спец.знак перед именами, мы подумаем, пока ставим, это упростит прозрачность синтаксиса.
===
Итак сухой осадок.
Т.е. основная идея такая, нам нужны имена и система переписывания имён.
Нужны 2 спецсимвола
@ - начало имени.
" " - пробел конец имени.
Нужны 2 спец.операции.
1. конкатенция
2. образование пары имён, структуры имён
По сути это операции образования новых имен и образование новых структур имен.
Вроде этого должно хватать для образования пары и всей раскрутки, для описания любых языков, в том числе для описания языков типа РБНФ или для описания алгорифмов Маркова.
Т.е. основная идея такая, нам нужны имена и система переписывания имён.
===
Попробую сконструировать пару.
@( @* @, @* @) или в более читабельном виде как сокращение: @(*,*)
т.е. построили составное имя из односимвольных имен.
Тут недоработка есть.
Если мы сразу напишем
@(*,*) - то получим бесструктурное имя из 5 символов.
Ну вот както так надо начинать видимо!?
(не уверен)
===
Оглавление списка постов. Черновик. метаязык метамоделей
===
(типа введения)
поток сознания. язык, вычисления, метамоделирование, тотальный полимофизм.
https://deep-econom.livejournal.com/1085794.html
черновик. метаязык метамоделей. (ЧММ - 1)
https://deep-econom.livejournal.com/1051707.html
черновик. метаязык метамоделей. (ЧММ - 2)
https://deep-econom.livejournal.com/1052376.html
черновик. метаязык метамоделей. (ЧММ - 3)
https://deep-econom.livejournal.com/1053613.html
черновик. метаязык метамоделей. (ЧММ - 4)
https://deep-econom.livejournal.com/1058020.html
Про метаинтерпретатор. Meta. (ЧММ - 5)
https://deep-econom.livejournal.com/1087090.html
Метаинтерпретатор Meta. Алгоритм. (ЧММ - 6)
https://deep-econom.livejournal.com/1094124.html
===
---
Я просто излагаю свой поток сознания, убеждений пока нет.
Ну вот есть у нас имена.
Пусть так @имя.
Возникает вопрос более точного определения самого имени и составление структур из имен.
В голове держим Лисп и алгоритмы Маркова.
Имена обычно последовательности символов произвольной длины.
Т.е. состоят из символов.
Но отдельный символ тоже имя.
(далее из имен нам надо конструировать сложные структуры имен)
Тут можно немного разными путями конструировать одно и тоже, кажется непринципиально особо каким именно.
Мы можем объявлять любой символ - атомным именем, элементарным именем.
!(посмотреть как там Герцель в проекте Атомиз сделал?)
Длинное имя (составное) состоит из коротких имён(символов).
! нам требуется операция соединения (нечто типа CONS из Лиспа, конкатенция строк)
https://ru.wikipedia.org/wiki/Cons
Таких операций сразу вижу два типа.
1. тип. бесструктурное соединение
из символов получаем длинную строку
2. тип. структурное соединение
получаем структуру из имен
Но тут сильно тоже перемудривать не надо.
Под именем стоит понимать неформально
Имя= последовательность символов, первый символ @ , до первого пробела.
Мотивация, пробелы у нас тоже символы, даже если мы их не видим.
Ну и у нас должен быть спецсимвол в любом случае.
Ставить ли в дальнейшем спец.знак перед именами, мы подумаем, пока ставим, это упростит прозрачность синтаксиса.
===
Итак сухой осадок.
Т.е. основная идея такая, нам нужны имена и система переписывания имён.
Нужны 2 спецсимвола
@ - начало имени.
" " - пробел конец имени.
Нужны 2 спец.операции.
1. конкатенция
2. образование пары имён, структуры имён
По сути это операции образования новых имен и образование новых структур имен.
Вроде этого должно хватать для образования пары и всей раскрутки, для описания любых языков, в том числе для описания языков типа РБНФ или для описания алгорифмов Маркова.
Т.е. основная идея такая, нам нужны имена и система переписывания имён.
===
Попробую сконструировать пару.
@( @* @, @* @) или в более читабельном виде как сокращение: @(*,*)
т.е. построили составное имя из односимвольных имен.
Тут недоработка есть.
Если мы сразу напишем
@(*,*) - то получим бесструктурное имя из 5 символов.
Ну вот както так надо начинать видимо!?
(не уверен)
===
Оглавление списка постов. Черновик. метаязык метамоделей
===
(типа введения)
поток сознания. язык, вычисления, метамоделирование, тотальный полимофизм.
https://deep-econom.livejournal.com/1085794.html
черновик. метаязык метамоделей. (ЧММ - 1)
https://deep-econom.livejournal.com/1051707.html
черновик. метаязык метамоделей. (ЧММ - 2)
https://deep-econom.livejournal.com/1052376.html
черновик. метаязык метамоделей. (ЧММ - 3)
https://deep-econom.livejournal.com/1053613.html
черновик. метаязык метамоделей. (ЧММ - 4)
https://deep-econom.livejournal.com/1058020.html
Про метаинтерпретатор. Meta. (ЧММ - 5)
https://deep-econom.livejournal.com/1087090.html
Метаинтерпретатор Meta. Алгоритм. (ЧММ - 6)
https://deep-econom.livejournal.com/1094124.html
===