Наткнулся на пост jdevelop Мыслеформы, где заметил жж-пользователя realurix.
Нравится, когда человек ратует за четкость и однозначность терминов. Хоть ясно, что контекст и исторически сложившееся положение определяет значение слова. И от этого не уйдешь.
Товарищ тонко троллит. Обратил внимание на его попытки везде влезть с автоматами. Что в своем журнале, что у jdevelop. Комментарии у обоих мне не доступны, а хотелось уточнить пару вещей. К счастью "троллинг" вовремя распознал и не потратил время зря.
Например, интересно было, что он имеет ввиду под автоматами. Конечные автоматы? Помнится, где-то упоминалось об эквивалентности грамматик регулярных языков и детерминированных автоматов. Но слово "конечные" не упоминалось.
Услышав о сравнении детерминированных автоматов и лямбда-исчисления захотелось дать пример умножения двоичных чисел (Ю.Г.Карпов, "Теория автоматов", гл. 3, "Проблема умножения: алгоритм, которые не может выполнить КА"). Но тут склероз отступил; вовремя вспомнил, что автоматы бывают не только конечные, но еще и автоматы с магазинной памятью, клеточные автоматы, Машина Тьюринга, которая есть расширение конечного автомата. Так что в лужу сесть не довелось. Ну ничего, повод в будущем всегда представится. ;)
Вспомнил, что забросил обновлять списочек, и вообще забил на идею выкладывать на торрент свою библиотечку. Так что надо будет выложить из раздела Discrete Math/Automata Theory все немногое, что там лежит.
Комментариев нет:
Отправить комментарий