DRAKON.SU

Текущее время: Вторник, 19 Март, 2024 08:36

Часовой пояс: UTC + 3 часа




Начать новую тему Ответить на тему  [ Сообщений: 242 ]  На страницу Пред.  1 ... 5, 6, 7, 8, 9, 10, 11 ... 13  След.
Автор Сообщение
СообщениеДобавлено: Суббота, 04 Декабрь, 2021 20:31 

Зарегистрирован: Понедельник, 15 Июнь, 2020 19:38
Сообщения: 179
Владимир Паронджанов писал(а):
Михаил Кузьмин писал(а):
В голове структура.
В голове структура есть? Очень хорошо.
Теперь вытащите структуру из головы и опубликуйте ее в виде Оглавления.

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


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Суббота, 04 Декабрь, 2021 21:02 

Зарегистрирован: Воскресенье, 24 Февраль, 2008 15:32
Сообщения: 5844
Откуда: Москва
Цитата:
Надо переделать изложение.
Не надо переделывать изложение.
У вас есть PDF. Не надо ничего переделывать.
Ваш PDF состоит из частей.
Сколько у вас частей? Предположим семь.
придумайте название для каждой части.
Это и будет Оглавление.
Цитата:
А с какой целью?
Цель такова: оглавление помогает читать документ.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Суббота, 04 Декабрь, 2021 21:08 

Зарегистрирован: Понедельник, 15 Июнь, 2020 19:38
Сообщения: 179
Владимир Паронджанов писал(а):
Цитата:
А с какой целью?
Цель такова: оглавление помогает читать документ.

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


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Воскресенье, 05 Декабрь, 2021 09:23 

Зарегистрирован: Воскресенье, 24 Февраль, 2008 15:32
Сообщения: 5844
Откуда: Москва
Недетерминированная машина Тьюринга
https://en.wikipedia.org/wiki/Nondeterm ... ng_machine


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Воскресенье, 05 Декабрь, 2021 10:34 

Зарегистрирован: Понедельник, 15 Июнь, 2020 19:38
Сообщения: 179
Цитата:
Несмотря на кажущуюся большую мощность недетерминированных машин в связи с тем, что они выполняют несколько возможных вычислений сразу (требуя только, чтобы хоть одно из них заканчивалось в допускающем состоянии), любой язык, допускающийся недетерминированной машиной Тьюринга, также допускается и обычной детерминированной машиной Тьюринга, поскольку она может моделировать любой недетерминированный переход, делая многократные копии состояния, если встречается неоднозначность.

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


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Воскресенье, 05 Декабрь, 2021 11:10 

Зарегистрирован: Понедельник, 15 Июнь, 2020 19:38
Сообщения: 179
Закончил группы. Получилось очень красиво! Не могу не поделиться.


Вложения:
Группы. Выполнение и перечислимы типы.pdf [831.7 КБ]
Скачиваний: 87
Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Воскресенье, 05 Декабрь, 2021 11:20 

Зарегистрирован: Воскресенье, 24 Февраль, 2008 15:32
Сообщения: 5844
Откуда: Москва
Михаил, а где же обещанное оглавление?


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Воскресенье, 05 Декабрь, 2021 12:10 

Зарегистрирован: Понедельник, 15 Июнь, 2020 19:38
Сообщения: 179
Владимир Паронджанов писал(а):
Михаил, а где же обещанное оглавление?

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


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Воскресенье, 05 Декабрь, 2021 12:30 

Зарегистрирован: Воскресенье, 24 Февраль, 2008 15:32
Сообщения: 5844
Откуда: Москва
Михаил Кузьмин писал(а):
Word пойдет здесь? Или в PDF?
Не понял. Оглавление надо выложить обычным сообщением, скопировав его из Wordа.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Воскресенье, 05 Декабрь, 2021 12:35 

Зарегистрирован: Понедельник, 15 Июнь, 2020 19:38
Сообщения: 179
Владимир Паронджанов писал(а):
Михаил Кузьмин писал(а):
Word пойдет здесь? Или в PDF?
Не понял. Оглавление надо выложить обычным сообщением, скопировав его из Wordа.


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


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Воскресенье, 05 Декабрь, 2021 13:22 

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

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

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

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

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

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


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Воскресенье, 05 Декабрь, 2021 14:21 

Зарегистрирован: Воскресенье, 24 Февраль, 2008 15:32
Сообщения: 5844
Откуда: Москва
Заголовок
Михаил Кузьмин писал(а):
Недетерминированная машина Тьюринга. Архитектура. Язык. Система. Программирование.

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

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

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

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

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

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

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

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


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Воскресенье, 05 Декабрь, 2021 14:54 

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


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Воскресенье, 05 Декабрь, 2021 15:05 

Зарегистрирован: Понедельник, 15 Июнь, 2020 19:38
Сообщения: 179
Я согласен что надо подробней и детальней. Но, это куча писанины. Проще сделать.. А отлаженное оно получится как самодокументировано. Язык и система написаны ж на том же языке и для этой машины. И все понятия определены так же и там же.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Воскресенье, 05 Декабрь, 2021 15:17 

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


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Воскресенье, 05 Декабрь, 2021 20:29 

Зарегистрирован: Воскресенье, 24 Февраль, 2008 15:32
Сообщения: 5844
Откуда: Москва
Почему вы взяли за основу Недетерминированную машину Тьюринга?
Может быть лучше взять за основу Недетерминированный конечный автомат?


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Воскресенье, 05 Декабрь, 2021 20:49 

Зарегистрирован: Понедельник, 15 Июнь, 2020 19:38
Сообщения: 179
Владимир Паронджанов писал(а):
Почему вы взяли за основу Недетерминированную машину Тьюринга?
Я не выбирал основу. Я вообще делал простую машину на которой можно моделировать реальный мир и простым языком. События и вообще синтаксис появились после лет десяти работы и кучи вариантов. То, что она оказалась не детерминированной я не виноват).
Может быть лучше взять за основу Недетерминированный конечный автомат?

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


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Воскресенье, 05 Декабрь, 2021 21:09 

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


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Воскресенье, 05 Декабрь, 2021 21:26 

Зарегистрирован: Понедельник, 15 Июнь, 2020 19:38
Сообщения: 179
В оглавлении пробела. Адресацию пропустил. Там не банально. Ну, еще мелочи.. но их надо делать.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Воскресенье, 05 Декабрь, 2021 21:32 

Зарегистрирован: Воскресенье, 24 Февраль, 2008 15:32
Сообщения: 5844
Откуда: Москва
Выложите исправленное оглавление с адресацией


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 242 ]  На страницу Пред.  1 ... 5, 6, 7, 8, 9, 10, 11 ... 13  След.

Часовой пояс: UTC + 3 часа


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 1


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
cron
Вся информация, размещаемая участниками на конференции (тексты сообщений, вложения и пр.) © 2008-2024, участники конференции «DRAKON.SU», если специально не оговорено иное.
Администрация не несет ответственности за мнения, стиль и достоверность высказываний участников, равно как и за безопасность материалов, предоставляемых участниками во вложениях.
Powered by phpBB® Forum Software © phpBB Group
Русская поддержка phpBB