Изменения

'''Тьюринговская трясина ''' — жаргонное общее название для языков программирования, которые ''Тьюринг-полны'', но обладают крайне примитивными синтаксисом и семантикой. Они неудобны для практического программирования (из-за трудности написания программ и низкой производительности), зато хорошо подходят для некоторых других задач (доказательство невычислимости некоторых функций, иллюстрация базовых принципов программирования и т. д.). Поэтому они интересны для информатики. Первыми представителями "трясины" были ''лямбда-исчисление'', ''комбинаторная логика'' и сама машина Тьюринга.  Многие эзотерические языки программирования также являются «трясинами Тьюринга»(напр. Brainfuck, Spoon, Malbolge, Whitespace).