計算理論よりの話題なのでこちらに建てました

自然数0,1,2,3,...各々に対して
より少ない命令数でこれらを出力するアルゴリズムを探索していくスレです

使える命令は3つだけ
inc xi 変数xiの値を1増やす
dec xi 変数xiが0でなければ値を1減らす
jz xi,l 変数xiが0ならば、l番目の命令に飛ぶ

参考:http://en.wikipedia.org/wiki/Counter_machine

変数は0より大きな整数を格納でき、初期値として0が入っています
変数はx0,x1,x2,…の可算無限個を使用できます
最後の命令がジャンプせずに実行されるか、命令数より大きな行番号にジャンプすればプログラムは終了します

プログラム終了時、x0に入っている値をプログラムの出力値とします