Минимальные модели вычислений.
К вопросу этого поста:
Минимальная модель абстрактного универсального вычислителя и языка.
https://deep-econom.livejournal.com/868037.html
---
Две фишки.
1. Основная фишка, основной кусок синтаксического сахара = удобный легкий механизм создания определений (понятий, моделей).
2. Ветвление и изменение памяти дают в итоге конечный автомат (абстрактный автомат).
(для справки https://ru.wikipedia.org/wiki/Конечный_автомат )
Основная фишка языков видимо в создании новых понятий, новых определений, новых моделей).
Сами по себе механизмы создания новых определений (и понятий, и моделей) должны быть легки и удобны.
Основная фишка, основной кусок синтаксического сахара = удобный легкий механизм создания определений (понятий, моделей).
Тут надо различать создание новых определений:
- как сокращение уже существующих текстов
- как создание новых конструкций.
По сути создание определений это созданий новых процедур и функций, часто зависящих от параметров.
Proc(список параметров)
Func(список параметров)
Это некие параметрические модели. Некие черные/белые ящики зависящие от параметров, зависящие от входов.
Входы можно подразделять на 2 вида: входной поток данных и входной управляющий поток данных (управляющие параметры).
---
Прога=(данные)+(управл.параметры алгоритма)+(сам алгоритм)
Смотри тут две-три вещи:
Проекции Футамуры. Такое представление используется в доказательстве.
Рисунок из книги Эдмунд Беркли "Гигантские мозги, или машины, которые думают" (1949)
привожу в этой теме.
Состояния, события, процессы по кибернетику Эдмунд Беркли.
https://deep-econom.livejournal.com/887424.html
Вирт. Алгоритмы + структуры данных = программы.
(это не совсем так, смотри выше).
---
***Различают два класса КА: автоматы Мура - КА, у которых выходной сигнал зависит только от внутреннего состояния, по рисунку у автомата Мура нет связи от входа x(t) к функции выхода lambda и автоматы Мили - выходной сигнал зависит как от внутреннего состояния, так и от состояния входа.
https://ru.wikipedia.org/wiki/Конечный_автомат
Берем язык Форт. Основная фишка языка - легкое создание определений.
---
***Поддерживает механизмы метарасширения семантики и синтаксиса языка для адаптации к нужной предметной области. Синтаксис базового уровня в Форте прост и состоит из единственного правила: «все определения разделяются пробелами». Определения Форта могут иметь любое сочетание символов.
***Основная часть Форт-системы - это связный список слов, или словарь, из которого слово вызывается по имени для выполнения специфических функций.
https://ru.wikipedia.org/wiki/Форт_(язык_программирования)
---
вынес отсюда https://deep-econom.livejournal.com/868037.html?thread=5211333#t5211333 из темы
Минимальная модель абстрактного универсального вычислителя и языка.
https://deep-econom.livejournal.com/868037.html
---
Минимальный универсальный автомат/исполнитель, минимальное универсальное исполняющее устройство.
Обобщенный двухтактовый исполнитель команд под названием Тик-Так = (тик, так)=(*,*).
(следую А.А.Берс, его название и идея)
(Исполнить команду, перейти к другой команде) = (исполнение, переход)
(Изменить состояние системы (состояние памяти), перейти к следующей команде) = (Изменение, переход).
(Взять команду, исполнить команду)=(выборка, исполнение).
---
https://deep-econom.livejournal.com/868037.html?thread=5215685#t5215685
Берс. ОБ ОСНОВАНИЯХ ИНФОРМАТИКИ.
стр. 75-76
Вся работа программы делается исполнителем над пассивными структурами. И я хочу обратить внимание на то, что, какие бы сложные алгоритмы ни применялись, и какие бы объекты вы ни нагородили, и какие бы вы ни придумали методы сами они «с места не сдвинутся». Пока не придет активный исполнитель и не будет ходить по этим методам в операционных обстановках. Активность, которая нам для этого нужна, невозможно вывести логическими преобразованиями из пассивных объектов, ее придется вводить аксиоматически как новую сущность.
Эта новая сущность в самом простом случае может быть устроена так:
она должна иметь два состояния и независимо от того, обращаются к ней или нет, переходить из одного состояния в другое, вот такой «тик-так», который каждый раз порождает шаг времени.
То же самое в операционной обстановке, когда исполняется программный фрагмент, исполнение каждого предписания дает нам один такт времени. Почему один? А потому, что для единичного исполнения предписание имеет размерность точки, т.е. нулевую, а любая единица измерения в нулевой степени дает единицу, в смысле «штука».
---
--
Есть только процессы.
Есть медленно протекающие процессы.
Есть быстро протекающие процессы.
Событие это процесс, длящийся некоторое время - Т_события.
Состояние это процесс, длящийся некоторое время - Т_состояния.
Переход между событиями это процесс, длящийся некоторое время - Т_перехода.
-
Состояния, события, процессы по кибернетику Эдмунд Беркли.
https://deep-econom.livejournal.com/887424.html
Минимальная модель абстрактного универсального вычислителя и языка.
https://deep-econom.livejournal.com/868037.html
--
Минимальная модель абстрактного универсального вычислителя и языка.
https://deep-econom.livejournal.com/868037.html
---
Две фишки.
1. Основная фишка, основной кусок синтаксического сахара = удобный легкий механизм создания определений (понятий, моделей).
2. Ветвление и изменение памяти дают в итоге конечный автомат (абстрактный автомат).
(для справки https://ru.wikipedia.org/wiki/Конечный_автомат )
Основная фишка языков видимо в создании новых понятий, новых определений, новых моделей).
Сами по себе механизмы создания новых определений (и понятий, и моделей) должны быть легки и удобны.
Основная фишка, основной кусок синтаксического сахара = удобный легкий механизм создания определений (понятий, моделей).
Тут надо различать создание новых определений:
- как сокращение уже существующих текстов
- как создание новых конструкций.
По сути создание определений это созданий новых процедур и функций, часто зависящих от параметров.
Proc(список параметров)
Func(список параметров)
Это некие параметрические модели. Некие черные/белые ящики зависящие от параметров, зависящие от входов.
Входы можно подразделять на 2 вида: входной поток данных и входной управляющий поток данных (управляющие параметры).
---
Прога=(данные)+(управл.параметры алгоритма)+(сам алгоритм)
Смотри тут две-три вещи:
Проекции Футамуры. Такое представление используется в доказательстве.
Рисунок из книги Эдмунд Беркли "Гигантские мозги, или машины, которые думают" (1949)
привожу в этой теме.
Состояния, события, процессы по кибернетику Эдмунд Беркли.
https://deep-econom.livejournal.com/887424.html
Вирт. Алгоритмы + структуры данных = программы.
(это не совсем так, смотри выше).
---
***Различают два класса КА: автоматы Мура - КА, у которых выходной сигнал зависит только от внутреннего состояния, по рисунку у автомата Мура нет связи от входа x(t) к функции выхода lambda и автоматы Мили - выходной сигнал зависит как от внутреннего состояния, так и от состояния входа.
https://ru.wikipedia.org/wiki/Конечный_автомат
Берем язык Форт. Основная фишка языка - легкое создание определений.
---
***Поддерживает механизмы метарасширения семантики и синтаксиса языка для адаптации к нужной предметной области. Синтаксис базового уровня в Форте прост и состоит из единственного правила: «все определения разделяются пробелами». Определения Форта могут иметь любое сочетание символов.
***Основная часть Форт-системы - это связный список слов, или словарь, из которого слово вызывается по имени для выполнения специфических функций.
https://ru.wikipedia.org/wiki/Форт_(язык_программирования)
---
вынес отсюда https://deep-econom.livejournal.com/868037.html?thread=5211333#t5211333 из темы
Минимальная модель абстрактного универсального вычислителя и языка.
https://deep-econom.livejournal.com/868037.html
---
Минимальный универсальный автомат/исполнитель, минимальное универсальное исполняющее устройство.
Обобщенный двухтактовый исполнитель команд под названием Тик-Так = (тик, так)=(*,*).
(следую А.А.Берс, его название и идея)
(Исполнить команду, перейти к другой команде) = (исполнение, переход)
(Изменить состояние системы (состояние памяти), перейти к следующей команде) = (Изменение, переход).
(Взять команду, исполнить команду)=(выборка, исполнение).
---
https://deep-econom.livejournal.com/868037.html?thread=5215685#t5215685
Берс. ОБ ОСНОВАНИЯХ ИНФОРМАТИКИ.
стр. 75-76
Вся работа программы делается исполнителем над пассивными структурами. И я хочу обратить внимание на то, что, какие бы сложные алгоритмы ни применялись, и какие бы объекты вы ни нагородили, и какие бы вы ни придумали методы сами они «с места не сдвинутся». Пока не придет активный исполнитель и не будет ходить по этим методам в операционных обстановках. Активность, которая нам для этого нужна, невозможно вывести логическими преобразованиями из пассивных объектов, ее придется вводить аксиоматически как новую сущность.
Эта новая сущность в самом простом случае может быть устроена так:
она должна иметь два состояния и независимо от того, обращаются к ней или нет, переходить из одного состояния в другое, вот такой «тик-так», который каждый раз порождает шаг времени.
То же самое в операционной обстановке, когда исполняется программный фрагмент, исполнение каждого предписания дает нам один такт времени. Почему один? А потому, что для единичного исполнения предписание имеет размерность точки, т.е. нулевую, а любая единица измерения в нулевой степени дает единицу, в смысле «штука».
---
--
Есть только процессы.
Есть медленно протекающие процессы.
Есть быстро протекающие процессы.
Событие это процесс, длящийся некоторое время - Т_события.
Состояние это процесс, длящийся некоторое время - Т_состояния.
Переход между событиями это процесс, длящийся некоторое время - Т_перехода.
-
Состояния, события, процессы по кибернетику Эдмунд Беркли.
https://deep-econom.livejournal.com/887424.html
Минимальная модель абстрактного универсального вычислителя и языка.
https://deep-econom.livejournal.com/868037.html
--