ラダー図のようなものをプログラム化したいのです
ラダー図というものを知る。
http://ja.wikipedia.org/wiki/%E3%83%A9%E3%83%80%E3%83%BC%E3%83%BB%E3%83%AD%E3%82%B8%E3%83%83%E3%82%AF
なるほど。PLCの世界ではこのような図によって行っているのですね。
興味深い。
多分、リンク先を見た限りプログラムやアルゴリズム・・・チューリングマシン?にもこの記法を適用できそうにないのでそこを考える必要がある。