M
M
MeroVingeR2014-05-18 22:15:25
Theory
MeroVingeR, 2014-05-18 22:15:25

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

1 answer(s)
S
snailmind, 2014-05-19
@MeroVingeR

A Turing-complete language is one in which any computable task can be performed. I think most likely not. at least the Ladder Diagram is definitely not Turing complete.

Didn't find what you were looking for?

Ask your question

Ask a Question

731 491 924 answers to any question