Показать сообщение отдельно
  (#1 (permalink)) Старый
kbp kbp вне форума
Новичок
 
Сообщений: 6
Сказал(а) спасибо: 1
Поблагодарили 0 раз(а) в 0 сообщениях
Регистрация: 08.11.2014
По умолчанию Программная логика: линейные бинарные графы и автоматы - 08.11.2014, 06:32

Когда-то я работал играющим тренером а потом просто игроком в команде программистов, оживляющих бортовую автоматику. Потом организм сдал и занялся консультированием будущих ученых, продолжая программировать уже как любитель в поисках того, чего еще не было сделано. Попутно создал некую теорию в части моделирования структур программ с использованием графов и автоматов: почти все было разбросано по не хилым журналам. Ключевой термин: линейный бинарный граф. Опорный авторитет: господин Липаев (известный автор множества книг).
Основной тезис: Программа может быть переупорядочена так, чтобы обеспечить: минимальную сложность ее структуры (наименьшую трудоемкость анализа), минимальную длину стека, наибольшее вероятное быстродействие, наибольшую достоверность вычислений. Все это обеспечивает аппарат линейных бинарных графов и булевых формул.
Десять лет назад собрал весь материал в книгу, которую так и не хватило ресурсов издать, да и объем был за 600-700 стр.
Сейчас возможности ограничены физически (данный текст набирается через "не могу"). В начале года смог урезать книгу до четырех глав, ориентировав ее на программистов разного профиля. Но дальше сработал "Стоп": мне уже под 70, а молодежь теперь иная, чем до перестройки.
Поэтому обязательно нужен соавтор, который поможет отредактировать подачу материала в интересах современной программирующей публики.
Актуальность темы пока не исчерпана, развитие ее в направлении параллельных вычислений. А линейные бинарные графы могут найти применение не только в программировании.
Время идет, есть материал еще на книгу и еще на исследования, но личный ресурс под вопросом. Прошу помощи, если преемственность поколений актуальна.
Ответить с цитированием
Ads