(ЧММ - 0). Поток сознания. язык, вычисления, метамоделирование, тотальный полимофизм.
(ЧММ - 0). Поток сознания. язык, вычисления, метамоделирование, тотальный полимофизм.
(типа введения)
тотальный полимофизм включая синтаксис, синтаксис можем менять на лету.
всё есть синтаксис, но какой именно синтаксис абсолютно неважно
интерпретатор интерпретирует так как ему интерпретируется )
неважно какие имена,
тотальный полиморфизм: имен, структур, представлений, синтаксиса
но начальный синтаксис есть, его не может не быть
вначале было слово, вначале был синтаксис
==========
Две основных структуры.
1. одномерная т.е. последовательность символов:
(x1, x2, ..., xn)
2. многомерная т.е. произвольной мерности псевдограф (из узла много связей, число не фиксировано, числ узлов не фиксировано, сами узлы и стрелки могут быть подпсевдографами):
псевдограф (который можно представить одномерно в виде списка списков подсписков, содержащих подписки, содержащих подсписки...
list=(list_1, list_2, ..., list_n), где list_i(list_1, list_2, ..., list_k)
Итак.
Две основных структуры.
1. Последовательная структура, последовательная система стрелок.
2. Произвольная структура, произвольная система стрелок.
2.1. (стрелки должны/могут соединяться друг с другом разными способами)
--
Цепочка представлений. (важная картинка)
https://deep-econom.livejournal.com/844885.html
========
Всегда у нас.
внутренняя структура - псевдограф.
внешняя структура - последовательность (иногда рисунок псевдограф).
Любой оператор
(имя, структура)
( IF, List)
List=(() () ())
(IF (условие) THEN (...условие истино...) ELSE (...условие ложно...))
--
( DO, List)
List=(() () ())
( Case_Of, List)
List=(() ... ())
--
Безымянные функции. Конструкция LAMBDA.
(LAMBDA (список параметров) (тело функции))
LAMBDA (x y) (+ (* x x) (* y y)))
---
Define - определение имени, связываем имя с конструкцией, даем имя конструкции.
(Define, ( Define, ()) связали имя Define с конструкцией, дали определение определению.
(Define, ( IF, (() () ())) - связали имя IF с конструкцией.
---
Чего не хватает?
Интерпретатора конструкций!
Интерпретатор конструкций - преобразование списков как в лиспе, элементарно, передвижение по спискам и выборка элементов.
Само вычисление = смена состояния = переход от узла (состояние1) к другому узлу (состояние2).
Состояния - какието имена.
Имена неважны, мы их нумеруем как в аксиомах Пеано, просто порождаем разное.
Что есть в ячейке, то и имя.
Важна унификация имен, сравнение, типа как физ.значения мы стандартизируем до стандартных значений, которые уже считаем именами.
Любая конструкция - список/псевдограф - задает алгоритм, те мы передвигаемся по списку и меняем некие состояния на другие состояния
или
мы можем интерпретировать переход от узла к узлу как смену состояния,т.е. вычисление.
2+2=4 перешли в узел 4 согласно схеме конструкции выраженной списком(графом) вычисления.
Итак.
вычисление - переход по списку или графу, изменение имеющегося ТЕКУЩЕГО состояния, изменение фокуса курсора (переместили внимание, фокус).
(изменение текущего положения "курсора" - вычисление, да)
вычисление - изменение памяти.
два способа - имя связали с другой ячейкой, т.е. переменной назначили значение (другое имя)
либо непосредственно изменили саму ячейку памяти.
Имена неважны. Важны связи между именами. Имена просто обозначают системы связей т.е. структуры (ранее созданные системы связей).
=====
Что мы добились?
1. Можем определять любые конструкции.
2. Можем давать конструкциям любые имена.
3. Можем передвигаться по конструкция - это эквивалентно вычислениям (конечный автомат, смена состояния, а также реализация ветвление).
4. Можем менять состояния памяти - это эквивалентно вычислениям (конечный автомат, смена состояния)
5. вычислитель(интерпретатор) - тоже конструкция
6. можем переходить от одномерного представления к многомерному и обратно т.е. от последовательности к псевдографу и обратно. изоморфизм
Вроде больше ничего и не надо.
Это минимальный интерпретатор будет.
Кажется.
========
Смотреть также тут комментарии
Signal-flow graph, граф потока сигналов
https://deep-econom.livejournal.com/1083974.html
Цепочка представлений. (важная картинка)
https://deep-econom.livejournal.com/844885.html
ps
черновик. метаязык метамоделей. (ЧММ - 1)
https://deep-econom.livejournal.com/1051707.html
(типа введения)
тотальный полимофизм включая синтаксис, синтаксис можем менять на лету.
всё есть синтаксис, но какой именно синтаксис абсолютно неважно
интерпретатор интерпретирует так как ему интерпретируется )
неважно какие имена,
тотальный полиморфизм: имен, структур, представлений, синтаксиса
но начальный синтаксис есть, его не может не быть
вначале было слово, вначале был синтаксис
==========
Две основных структуры.
1. одномерная т.е. последовательность символов:
(x1, x2, ..., xn)
2. многомерная т.е. произвольной мерности псевдограф (из узла много связей, число не фиксировано, числ узлов не фиксировано, сами узлы и стрелки могут быть подпсевдографами):
псевдограф (который можно представить одномерно в виде списка списков подсписков, содержащих подписки, содержащих подсписки...
list=(list_1, list_2, ..., list_n), где list_i(list_1, list_2, ..., list_k)
Итак.
Две основных структуры.
1. Последовательная структура, последовательная система стрелок.
2. Произвольная структура, произвольная система стрелок.
2.1. (стрелки должны/могут соединяться друг с другом разными способами)
--
Цепочка представлений. (важная картинка)
https://deep-econom.livejournal.com/844885.html
========
Всегда у нас.
внутренняя структура - псевдограф.
внешняя структура - последовательность (иногда рисунок псевдограф).
Любой оператор
(имя, структура)
( IF, List)
List=(() () ())
(IF (условие) THEN (...условие истино...) ELSE (...условие ложно...))
--
( DO, List)
List=(() () ())
( Case_Of, List)
List=(() ... ())
--
Безымянные функции. Конструкция LAMBDA.
(LAMBDA (список параметров) (тело функции))
LAMBDA (x y) (+ (* x x) (* y y)))
---
Define - определение имени, связываем имя с конструкцией, даем имя конструкции.
(Define, ( Define, ()) связали имя Define с конструкцией, дали определение определению.
(Define, ( IF, (() () ())) - связали имя IF с конструкцией.
---
Чего не хватает?
Интерпретатора конструкций!
Интерпретатор конструкций - преобразование списков как в лиспе, элементарно, передвижение по спискам и выборка элементов.
Само вычисление = смена состояния = переход от узла (состояние1) к другому узлу (состояние2).
Состояния - какието имена.
Имена неважны, мы их нумеруем как в аксиомах Пеано, просто порождаем разное.
Что есть в ячейке, то и имя.
Важна унификация имен, сравнение, типа как физ.значения мы стандартизируем до стандартных значений, которые уже считаем именами.
Любая конструкция - список/псевдограф - задает алгоритм, те мы передвигаемся по списку и меняем некие состояния на другие состояния
или
мы можем интерпретировать переход от узла к узлу как смену состояния,т.е. вычисление.
2+2=4 перешли в узел 4 согласно схеме конструкции выраженной списком(графом) вычисления.
Итак.
вычисление - переход по списку или графу, изменение имеющегося ТЕКУЩЕГО состояния, изменение фокуса курсора (переместили внимание, фокус).
(изменение текущего положения "курсора" - вычисление, да)
вычисление - изменение памяти.
два способа - имя связали с другой ячейкой, т.е. переменной назначили значение (другое имя)
либо непосредственно изменили саму ячейку памяти.
Имена неважны. Важны связи между именами. Имена просто обозначают системы связей т.е. структуры (ранее созданные системы связей).
=====
Что мы добились?
1. Можем определять любые конструкции.
2. Можем давать конструкциям любые имена.
3. Можем передвигаться по конструкция - это эквивалентно вычислениям (конечный автомат, смена состояния, а также реализация ветвление).
4. Можем менять состояния памяти - это эквивалентно вычислениям (конечный автомат, смена состояния)
5. вычислитель(интерпретатор) - тоже конструкция
6. можем переходить от одномерного представления к многомерному и обратно т.е. от последовательности к псевдографу и обратно. изоморфизм
Вроде больше ничего и не надо.
Это минимальный интерпретатор будет.
Кажется.
========
Смотреть также тут комментарии
Signal-flow graph, граф потока сигналов
https://deep-econom.livejournal.com/1083974.html
Цепочка представлений. (важная картинка)
https://deep-econom.livejournal.com/844885.html
ps
черновик. метаязык метамоделей. (ЧММ - 1)
https://deep-econom.livejournal.com/1051707.html