>>247
ん、これコラッツのプッシュダウンオートマトンなの?