チューリング完全について

チューリング完全とは

チューリング完全とは、何らかの計算を行う機構（論理回路や人工言語とその処理系など）が、万能チューリングマシンに等しい能力を持っていること。あらゆる計算を記述、実行できることを表す。

https://e-words.jp/w/チューリング完全.html

プログラミング言語とか言語を処理するプログラムが、万能チューリングマシンに等しい計算ができること。

論理回路やプログラミング言語とその処理系など、何らかの計算機構が万能チューリングマシンとしての能力を持つことを「チューリング完全」（Turing complete）あるいは「計算完備」であるという。

https://e-words.jp/w/チューリングマシン.html

計算完備ともいう。

https://www.youtube.com/watch?v=0ILvcjpAqAU

計算方法を、個々の単純な操作(ANDやORなど)と順次、分岐、反復を組み合わせた一連の有限な手続きで表せる関数を 計算可能な関数 という。
計算可能な関数 を計算できる能力、性質のことを チューリング完全 という。
チューリング完全 な機会を 万能チューリングマシン といい、コンピュータは チューリング完全 な、万能チューリングマシン である。

プログラミング言語は 計算可能な関数 を表現する手段である。
(YAMLやJSONやHCLは表現できないので チューリング完全 ではない？？？)

コンピュータは 計算可能な関数 を計算する手段である。