Являются языки стандарта IEC 61131-3 тьюринг-полными?

Question

[MeroVingeR]

Являются ли Instruction List, Structured Text, FBD, Ladder Diagram и SFC тьюринг-полными?
Прямого или косвенного подтверждения не нашел, однако отсутствие доказательств не является опровержением

UPD:
Вы правы, Snailmind.
SFC (Sequential Function Chart) является графическим языком программирования, в котором программа описывается в виде схематической последовательности шагов, объединенных переходами.
Таким образом фактически создается конечный автомат, число возможных состояний которого конечно. Результат работы автомата определяется по его конечному состоянию. А конечный автомат является неполным по Тьюрингу формализмом.

Answer 1

[snailmind]

Тьюринг-полный язык, это такая язык, на котором можно выполнить любую вычислимую задачу. Я думаю, что скорее всего нет. по крайней мере Ladder Diagram точно не полный по Тьюрингу.