Answer the question
In order to leave comments, you need to log in
Are IEC 61131-3 languages Turing complete?
Are Instruction List, Structured Text, FBD, Ladder Diagram and SFC Turing Complete?
I did not find direct or indirect confirmation, but the absence of evidence is not a refutation
. UPD:
You are right, Snailmind .
SFC (Sequential Function Chart) is a graphical programming language in which a program is described as a schematic sequence of steps connected by transitions.
Thus, in fact, a finite state machine is created, the number of possible states of which is finite. The result of the automaton is determined by its final state. And the finite automaton is a Turing-incomplete formalism.
Answer the question
In order to leave comments, you need to log in
Didn't find what you were looking for?
Ask your questionAsk a Question
731 491 924 answers to any question