DRAKON.SU

Хороший эксперимент) Продумаю, просмотрю и завтра здесь напишу. Скорее всего во второй половине дня. Я последние два дня занимался группированием. Использованием скобок. Надо переделать изложение. А с какой целью?

Не надо переделывать изложение.
У вас есть PDF. Не надо ничего переделывать.
Ваш PDF состоит из частей.
Сколько у вас частей? Предположим семь.
придумайте название для каждой части.
Это и будет Оглавление.
Цель такова: оглавление помогает читать документ.

И самому структурировать изложение. ) Правильно. Займусь. Спасибо за подсказку.

Не правильный вывод. Из того, что каждая ветвь является детерминированной не следует что мощность не детерминированной машины та же. Дело в том, что этих ветвей тоже бесконечное число. Теорема Кантора. Пример очень простой. Конечным набором цифр, может представить бесконечное число значений. Та же ошибка в доказательстве Устинова теоремы Геделя. Из того что аксиом счетное число не следует что доказательств меньше чем высказываний, которых континуум.

Закончил группы. Получилось очень красиво! Не могу не поделиться.

Михаил, а где же обещанное оглавление?

Я обещал во второй половине. Как закончу группирование. Мысля засела. Я ж предупреждал. Вот как раз сел делать и вопрос. Word пойдет здесь? Или в PDF?

Не понял. Оглавление надо выложить обычным сообщением, скопировав его из Wordа.

Ок. Я просмотреть все должен и продумать. Думаю.

Часть 1.
История проекта.
Общие соображения.
Работа НМТК. (Не детерминированная машина Тьюринга. Концептная.
Базовые понятия. Структура концепта.
Текстовое построение концепта. Основы синтаксиса.
Группы. Создание. Синтаксис.
Перечислимые типы.
Группы. Выполнение.
Примеры групп. Or, And, Select, While, Until.
Определение групп. Пустые скобки. Примеры.
Типы данных. Определение.
Операторы. Определения.
События. Определения.
Синтаксис.
Текстовые группы. Определение знаков, алфавита, лексем.
Программирование. Структура концепта.
16.1.Атрибуты.
16.2. Подписки.
16.3. Методы. Инициализация.
16.4. Классы. Конструктор.

II. Приложения.
Примеры программирования.
Таблица типов.
Таблица операторов.
Таблица событий.
Алфавит.
Лексемы.
Синтаксис.

III. Документы.

Работа редактора, транслятора. Представления и схемы событий.
Часть 2.

Взаимодействие НДМТК.
Устройства, Роли, Интерфейсы. Автоматы. Документы.
Приборы, роутеры, сервер, браузер.

Как то так представляю всю работу по проекту. Перед тем, как воплощать в железе. Из, того что можно предъявить целостного только часть 1 с приложениями.

Заголовок

Оглавление

Михаил, поясните пожалуйста, как связан Заголовок с Оглавлением.

1. В каких пунктах Оглавления раскрывается Недетерминированная машина Тьюринга?

2. В каких пунктах Оглавления раскрывается Архитектура?

3. В каких пунктах Оглавления раскрывается Язык?

4. В каких пунктах Оглавления раскрывается Система?

5. В каких пунктах Оглавления раскрывается Программирование?

Во всех. Кроме вступления. Сначала идет общая картина. А потом по каждому классу концептов раскрывается выполнение. Это единая вещь. И архитектура и язык и система и транслятор все единое целое. Как ассемблер и процессор. Только у меня более глубокая связь с верху до низу. И даже взаимодействие и протокол функционирования разных реальных устройств и представления концептов для визуализации и редактирования. Ведь редактирование имеет разное представление от калькулятора - это один концепт - то что слева.. До текстового и табличного (концепты одного класса. Типа Excell) и схемы событий - это как раз графическое представление типа блок схем или схемы данных в базах данных и браузера.. Вот такая задумка. И транслятора отдельно нет. В языке есть описание грамматики и уже процессор обрабатывая понятия делает разбор как в Прологе и создает концепты подписками на истинность разбора.

Я согласен что надо подробней и детальней. Но, это куча писанины. Проще сделать.. А отлаженное оно получится как самодокументировано. Язык и система написаны ж на том же языке и для этой машины. И все понятия определены так же и там же.

Я могу рассказать как осуществляется взаимодействие. Имеем неизвестный прибор. Подключаем наш "Редактор" и так как структура единая с именами типами и хелпами можем наблюдать все содержимое неизвестного прибора в любом виде. Формируем событие у себя или подписываемся к событию в неизвестном приборе адресуемся куда пожелаем. Хот внутри его, хоть в другой прибор, хоть к себе. Получаем такой распределенный сервер и браузер и облако автоматически! И универсальный протокол.

Почему вы взяли за основу Недетерминированную машину Тьюринга?
Может быть лучше взять за основу Недетерминированный конечный автомат?

Я посмотрел по быстрому. Не детерминированный конечный автомат не подойдет. Моя машина и язык разбирает контекстно-свободную грамматику. Это шире чем регулярные множества. За причину надо подумать. Слету не скажу где собака зарыта.
Но, подумаю. Завтра с утра. Я вечером уже не рабочий))
Может и недетерминированная МТ слабовата. Концепт может изменять подписки. Добавлять и удалять. Не знаю как это отразится на принцип. Может и никак.

Да. Я сразу хотел что б машина, язык и система были одним целым организмом. Ибо эти ступеньки железо-ассемблер-ОС-язык это не естественно.
Как то на воспоминания пробило.. Больше 25 лет работы.. И жизни. И не вижу что дальше. Транслятор и машину то я за пол года сделаю. А что дальше хрен его знает. Никому не интересно.

В оглавлении пробела. Адресацию пропустил. Там не банально. Ну, еще мелочи.. но их надо делать.

Выложите исправленное оглавление с адресацией