Некоторые подробности, метамоделирование.
некоторые подробности, открою черновик
метамоделирование как теория всего
Черновик теории, формулировки основных свойств и аксиом, фиксация, в дальнейшем будет переработано и отточено.
теория всего как метамоделирование
метамоделирование как теория всего
метамоделирование = моделирование моделирования + моделирование.
В терминах моделей (комплексов стрелок) мы можем выразить всё.
Поскольку стрелку (элементарную модель) мы обоснованно отождествляем с физическим процессом, то все наши построения конструктивны.
Определения и выводы теории конструктивны - физически исполнимы.
Физический процесс = Вычисление = Алгоритм = Псевдограф = Модель.
https://deep-econom.livejournal.com/1024592.html )
---
Кратко.
Физический процесс=стрелка.
Вводим понятие псевдографа как комплекса стрелок.
Язык псеводграфов дает универсальное описание алгоритмов, процессов, всего на свете.
Псевдограф - это сложная модель.
---
(подробности)
всё есть процесс
всё есть стрелка
есть только стрелки
стрелкам можно давать имена
имена последовательность символов
стрелка=процесс - это синонимы, по сути тождественные обозначения
(в теории категорий стрелки называют морфизмами)
стрелка - это то, что имеет начало и конец, начало соединяется с концом
стрелка = упорядоченная пара = (начало, конец) = (вход, выход) = (*,*)
конец стрелки может указывать на начало
(a,a), (вход,вход), (выход,выход)
(начало,начало) (конец,конец)
стрелкам можно давать имена, начала и концы тоже могут иметь имена
(имя_начала, имя_стрелки, имя_конца) - обозначение стрелки в виде триплета, списка из трех поименованных элементов
можно так обозначать именованные стрелки в виде упорядоченных пар, это эквивалентные представления
(имя_стрелки, (имя_начала, имя_конца))
((имя_начала, имя_конца), имя_стрелки)
Есть только стрелки. Стрелки могут указывать на другие стрелки.
Объект = стрелка, конец которой указывает на начало, самозамкнутая стрелка. (образ: типа петельки)
(Петля - ребро, начало и конец которого находятся в одной и той же вершине.)
Т.к. стрелки могут иметь имена, то объекты могут иметь имена.
Объект = Самозамкнутая стрелка = (начало_самозам_стрелки, самозамкнутая_стрелка, начало_самозам_стрелки)
---
Псевдографы как комплексы стрелок.
Комплексы стрелок = конгломераты стрелок = набор/схема стрелок = псевдограф.
Псевдограф - это обобщение обычного граф, это комплекс стрелок.
Вершины псевдографа могут быть множественными, ребра графа могут быть множественными.
Ребра и стрелки будем отождествлять, у нас это синонимы.
Стрелки (ребра) могут указывать на стрелки (ребра), могут указывать на псевдографы.
Стрелки (ребра) могут быть псевдографами.
Псевдографы могут иметь имена.
---
Рисунки псевдографов.
Рис.1
Рис.2
---
метамоделирование как теория всего
Черновик теории, формулировки основных свойств и аксиом, фиксация, в дальнейшем будет переработано и отточено.
теория всего как метамоделирование
метамоделирование как теория всего
метамоделирование = моделирование моделирования + моделирование.
В терминах моделей (комплексов стрелок) мы можем выразить всё.
Поскольку стрелку (элементарную модель) мы обоснованно отождествляем с физическим процессом, то все наши построения конструктивны.
Определения и выводы теории конструктивны - физически исполнимы.
Физический процесс = Вычисление = Алгоритм = Псевдограф = Модель.
https://deep-econom.livejournal.com/1024592.html )
---
Кратко.
Физический процесс=стрелка.
Вводим понятие псевдографа как комплекса стрелок.
Язык псеводграфов дает универсальное описание алгоритмов, процессов, всего на свете.
Псевдограф - это сложная модель.
---
(подробности)
всё есть процесс
всё есть стрелка
есть только стрелки
стрелкам можно давать имена
имена последовательность символов
стрелка=процесс - это синонимы, по сути тождественные обозначения
(в теории категорий стрелки называют морфизмами)
стрелка - это то, что имеет начало и конец, начало соединяется с концом
стрелка = упорядоченная пара = (начало, конец) = (вход, выход) = (*,*)
конец стрелки может указывать на начало
(a,a), (вход,вход), (выход,выход)
(начало,начало) (конец,конец)
стрелкам можно давать имена, начала и концы тоже могут иметь имена
(имя_начала, имя_стрелки, имя_конца) - обозначение стрелки в виде триплета, списка из трех поименованных элементов
можно так обозначать именованные стрелки в виде упорядоченных пар, это эквивалентные представления
(имя_стрелки, (имя_начала, имя_конца))
((имя_начала, имя_конца), имя_стрелки)
Есть только стрелки. Стрелки могут указывать на другие стрелки.
Объект = стрелка, конец которой указывает на начало, самозамкнутая стрелка. (образ: типа петельки)
(Петля - ребро, начало и конец которого находятся в одной и той же вершине.)
Т.к. стрелки могут иметь имена, то объекты могут иметь имена.
Объект = Самозамкнутая стрелка = (начало_самозам_стрелки, самозамкнутая_стрелка, начало_самозам_стрелки)
---
Псевдографы как комплексы стрелок.
Комплексы стрелок = конгломераты стрелок = набор/схема стрелок = псевдограф.
Псевдограф - это обобщение обычного граф, это комплекс стрелок.
Вершины псевдографа могут быть множественными, ребра графа могут быть множественными.
Ребра и стрелки будем отождествлять, у нас это синонимы.
Стрелки (ребра) могут указывать на стрелки (ребра), могут указывать на псевдографы.
Стрелки (ребра) могут быть псевдографами.
Псевдографы могут иметь имена.
---
Рисунки псевдографов.
Рис.1
Рис.2
---