Автор Пользователь удален задал вопрос в разделе Другие языки и технологии
Какие не тьюринг полные языки программирования вы знаете? и получил лучший ответ
Ответ от Максим Николаенко[гуру]
Не-Тьюринг полные языки.
Язык Тьюринг-полный (Turing-complete), если любая вычислимая функция, может быть вычислена конечной программой, записанной на этом языке.
Проблема: даны две программы, вычисляющие какие-то функции. Выяснить, вычисляют они одну и ту же функцию или нет. Для Тьюринг-полных языков проблема алгоритмически неразрешима.
Программы на не тьюринг-полных языках вычисляют ограниченный класс функций, но зато их можно автоматически анализировать. Например, можно автоматически проверить, что оптимизированная программа вычисляет ту же функцию, что и исходная для любого значения входных аргументов.
Связь с машиной Тьюринга -- обе названы в честь Алана Тьюринга. Впрочем, есть и более тонкая связь
а такие есть? даже brainfuck - тьюринг-полный.