スマート・コントラクト
チューリング完全であるもの。 EthereumのEVMがあげられる。
その他にも、プログラミングパラダイムによる分類ではデータフロー型の言語であるZilliqaのScillaなど、いくつかの例外も存在する。