Разница между Тьюринг-полными и Тьюринг-неполными языками программирования заключается в их вычислительных возможностях. 4

Тьюринг-полные языки способны решить любую вычислительную задачу, независимо от её сложности. 4 Такие языки могут моделировать операции машины Тьюринга. 4 К ним относится большинство современных языков программирования, например C++, Python, JavaScript. 4

Тьюринг-неполные языки ограничены конкретными задачами. 4 Их программы всегда завершаются. 2 На таких языках можно построить не всякую программу, иногда даже не всякую разрешимую. 2

Пример Тьюринг-неполного языка — Script из блокчейна Биткоина, который предназначен для управления базовыми функциями, такими как передача значений и выполнение простых смарт-контрактов. 4