... Има едно твърдение, наречено тезис на Чърч - Тюринг (беже недоказан, ако има промяна ще се развам да го науча) според което всеки алгоритъм може да се изпълни на машина на Тюринг. Има няколко абстрактни машини, еквивалентни една на друга, една от които е машината на Тюринг. Ако един алгоритъм е изпълним на нея, то това не зависи от начина по който е описан. В тази връзка ми се струва, че ника "усмивка" имаше предвид точно това.

Два формални езика са еквивалентни, трябва да са еквивалентни формалните граматики, които ги пораждат. Това би осигурило еквивалентен синтаксис. Е, в общия случаи това не е така, да не говорим, че зад даден синтаксис може в различните му реализации да има различна семантика.