[Henson]

Сообщение от ЛРС

что конкретно вы понимаете под функцией перехода?

Память подводит почему было выбрано такое название. Вроде бы это из области фазовых пространств.


В любом случае, речь про морфизмы из теории категорий.

Что это такое описано в первом абзаце книги Маклейн С. - "Категории для работающего математика". Не могу красиво вставить цитату из-за формул. Так что ссылка на книгу.

Теория категорий начинается с наблюдения, что многие свойства
математических систем можно представить просто и единообразно по-
посредством диаграмм, состоящих из стрелок. Каждая стрелка / : X —>
—У Y обозначает функцию, т. е. множество X, множество Y и правило
ж н-» /ж, которое сопоставляет каждому элементу ж Е X некоторый
элемент fx Е Y.

Речь про эти самые функции стрелки.

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