コンピュータ言語のうちプログラミングに使うもの。一般的にチューリング完全であることが求められる。