generated at
チューリング完全
他の計算機ができる計算なら何でもできる状態

一般的なプログラミング言語
とか