Theory of computation
-
The mechanism of the emergence of consciousness in finite state machines
Monday, July 13, 2026 in Theory of computation
A finite state machine is a mathematical model of computation: an abstract machine that at each moment of time is in exactly one of a finite set of states, and transitions between states occur in response to input signals (events) according to …
-
Reflections on the Turing machine and the causes of errors in programming languages
Saturday, November 15, 2025 in Theory of computation
A couple of years ago I wrote the article Reflections on structured programming, in which I tried to sort out the misconception that Edsger Dijkstra proved that any algorithm can be built from just three constructs (sequence, selection, loop). …
-
Reflections on structured programming
Sunday, December 31, 2023 in Theory of computation
31 Dec 2023 at 11:53 Initially I wanted to title the article in some provocative way, for example, “How science can turn into religion”, “Trapped in the distortions of the meaning of structured programming” or “What you …
-
The problem of logical programming languages
Saturday, January 09, 2021 in Theory of computation
Some time ago I wrote about “International programming in natural languages”, in which I tried to present a worthy goal for an abstract programming language, trying to try on it the role of a link between the world of programmers with …