На сегодняшний день не существует общепринятых многоцелевых языков Тьюринга. Однако существует несколько языков, не соответствующих Тьюрингу. ANSI SQL, регулярные выражения, языки данных (HTML, CSS, JSON и т. Д.) И s-выражения являются некоторыми примечательными примерами.
На самом деле нет пользы для многоцелевых языков, не относящихся к тьюрингу. «Гораздо более анализируемый» аспект, который, как я предполагаю, является намеком на теорему Райса, действительно применим, но он не имеет особого смысла для языков, нацеленных на несколько различных областей применения, другие требования имеют приоритет. Гибкость полноты по Тьюрингу намного важнее, чем ее сложность. Языки программирования, как и любая другая часть программного обеспечения, связаны с компромиссами.
С другой стороны, для доменных языков это может быть наоборот. Если вы не создаете «один язык, чтобы управлять ими всеми», вы можете использовать только те функции, которые имеют смысл для конкретной цели вашего языка. И чаще всего полнота по Тьюрингу не входит в их число.