Теория вычислений
-
Механизм возникновения сознания у конечных автоматов
13.07.2026 в Теория вычислений
Конечный автомат - это математическая модель вычислений: абстрактная машина, которая в каждый момент времени находится ровно в одном из конечного множества состояний, а переходы между состояниями происходят в ответ на входные сигналы (события) по …
-
Размышления о машине Тьюринга и причинах возникновения ошибок в языках программирования
15.11.2025 в Теория вычислений
Пару лет назад я написал статью Размышления о структурном программировании, в которой пытался разобраться с заблуждением, будто Эдсгер Дейкстра доказал, что любой алгоритм можно построить всего из трех конструкций (следования, ветвления, цикла). …
-
Размышления о структурном программировании
31.12.2023 в Теория вычислений
31 дек 2023 в 11:53 Изначально я хотел назвать статью как нибудь вызывающе, например, “Как наука может превращаться в религию”, “В ловушке искажений смыслов структурного программирования” или “О чем вам забыли рассказать …
-
Проблема логических языков программирования
09.01.2021 в Теория вычислений
Некоторое время назад я писал про «Интернациональное программирование на естественных языках», в которой попытался представить достойную цель для абстрактного языка программирования, попробовав примерить на него роль связующего звена между миром …