バシク行列ある意味チューリング完全よりは弱いプログラミング言語ということになる。
チューリング完全よりは弱いがバシク行列系よりは強い言語を所望する。