А-машина Тьюринга и кофе-машина Хоаре пит-стоп
|
|
Воскресенье, 21 Декабря 2014 г. 23:34
+ в цитатник
Всякий, кто полагается на практику, не зная теории, подобен кормчему, вступающему на судно без руля и компаса, – он не знает, куда плывет.
Леонардо да Винчи
В Священных Языковых Войнах в качестве окончательного аргумента нередко приводят — поскольку языки полны по Тьюрингу, постольку они и равноценны. Под катом попытка уточнить этот тезис для тех, кто уже справился с Python и теперь планирует изучить Erlang или Haskell по спецификации. Материал обзорный, не методичный
с картинками.
Читать дальше → http://habrahabr.ru/post/246139/
Метки:
Алгоритмы
Программирование
тьюринг
лямбда-исчисление
-
Запись понравилась
-
0
Процитировали
-
0
Сохранили
-