ブロック言語の操作状態複雑度

ブロック言語に対する様々な操作の決定性および非決定性状態複雑度を明らかにする。