И все же, html не описывает как рендерить страницу, он описывает что рендерить.

Все таки этот язык не принято причислять к языкам программирования, об этом пишут практически везде. Чтоб не быть голословным
http://en.wikipedia.org/wiki/Programming_l...age#Definitions

Добавлено через 4 минуты и 7 секунд
Кстати, если человек только что изучил веб технологии и считает html ЯП. А человек который всю жизнь занимается программированием написал несколько книг и утверждает что он не является ЯП. Чье мнение более весомое?

Декларативные языки программирования существуют.


Не спорю, но и примеры обратного, как я уже писал выше, найти несложно. 


Ничье. Это только вопрос договоренности и привычек, ничего больше.

А меня учили, что программирование - это чтение данных, обработка данных и вывод данных.
С этой точки зрения HTML - не язык программирования. С помощью HTML нельзя прочитать, обработать или выполнить данные. Этим занимается браузер, который написан как раз на языке программирования. А HTML выступает уже в роли самих данных.

Можно сказать, что HTML - это просто такой формат сохранения данных. Точно так же, как PDF, DOC (MS World) и подобные.

Добавлено через 7 минут и 43 секунды
Откройте калькулятор в windows и попробуйте полностью реализовать его функционал на том, что вы считаете языком программирования   
Если получится - это действительно язык программирования. Если не получится - это лишь некоторый частный случай способов обработки данных.

Стоит ли считать HTML к языком программирования вот как написанна тема, вот также HTML, язык программирования.

Все время считал что это язык разметки.

Я все таки не понимаю на чем основано утверждение что неограниченные грамматики полны по Тьюрингу. Т.е. XSLT считается тьюринг полным, а XML нет, хотя любой XSLT документ является и XML документом.

Алгоритм, это хорошо но, перфокарта не позволит вывести интерфейс на экран. Может я ошибаюсь?  

Да при Тьюринге такого бардака не было    
 

Тут то прикол в том что правила построения XML дополняются правилами XLST. Т.е. в принципе можно описать программу на xml
например так:

по уродски конечно не продуманно, но факт что поверх самого XML можно придумать язык программирования, но исполнять то его будет не парсер xml! А специальный интерпретатор.



Диск с программой тоже не позволит вывести интерфейс на экран и что? Можно например вручную под микроскопом рассматривать этот диск и выписывать биты на листочек. Затем вручную разбирать машинные команды.

Это сообщение отредактировал(а) 4ell - 14.12.2012, 21:14

Британские ученые потребовали cнять c математика Тьюринга судимость за гомосексуализм

Давай тогда английский язык назовем языком программирования! А что? Все слова, которыми записываются программы традиционных языков - английские.   

Суть не в том чтобы объявить XML или английский языком программирования. Суть в том что добавив в них некоторые новые правила можно сделать их языками программирования.

Добавлено через 1 минуту и 17 секунд
Но дополнив язык, мы уже его изменили, т.е. это уже не тот прежний XML и не тот английский что был раньше. Это новый дополненный язык

    

Разница между русским, английским, HTML и каким-нибудь C++ в том, что русский и английский можно использовать только для общения между людьми, HTML только разметки web-страницек, а C++ только для общения с ЕОМ.

Это сообщение отредактировал(а) Arantir - 14.12.2012, 22:48

ты 1С видел?

Можно и поверх HTML то же самое придумать, это не фокус.

Вопрос в другом, почему неограниченные грамматики считаются Тьюринг полными? Как там происходит вычисления?

Я думаю, здесь в вопросе сабжа кроется два вопроса, которые целесообразнее было рассматривать поотдельности: 
1. Считается ли хтмл ЯПом
2. Является ли он таковым

На первый вопрос ответ более или менее очевиден. Большинство источников говорит, что это не ЯП, хотя есть и те, кто либо настаивает на том, что он таковым является, либо не, как минимум, не спорят с такой формулировкой.
Причиной того, что язык не считается ЯПом, по всей видимости является то, что здесь тон задают программисты менстримовых языков. Для них в хтмл отсутствуют типичные для ЯПов конструкции( циклы, переменные и пр.), он слишком специализирован и вообще код больше похож на описание структуры данных, нежели инструкций, которые следует выполнять. В то же время, следует заметить, что среди приверженцев идеи о том, что это ЯП, далеко не все - лохи, что, в общем-то, продемонстрировала даже эта тема.
Ответ на второй вопрос затруднителен в силу того, что формального определения языка программирования не существует, а когда возникала традиция называть тот или иной язык языком программирования, критерии были разными. В силу этого обстоятельства, как уже писал Фантом, сформулировать критерии ЯПа таким образом, чтобы им удовлетворяли все языки, считающиеся таковыми, а все не считающиеся были отсяны - вряд ли возможно.
Прокомментирую несколько утверждений, прозвучавших в этой теме и кажущихся мне как минимум спорными.
Попытку разделения языков, исходя из того, всё ли они могут, вряд ли можно считать состоятельной, поскольку этот критерий делит языки не на япы и неяпы, а на языки общего назначения (General Purpose) и предметно-ориентированные (Domain Specific) и совсем непонятно, почему последним отказывается в праве называться япами, тем более, что традиционно некоторые из них так называются. Полнота по Тьюрингу - так же довольно зыбкий критерий, поскольку если его применять, то автоматное программирование придётся перестать считать программированием, поскольку автомат не является полным по Тьюрингу.
Наличие в языке алгоритмического инструментария - так же вряд ли надёжный критерий, поскольку в этом случае выпадают функциональное и логичекое программирование.
Не менее спорным я считаю аргумент, указывающий на то, что языки, описывающие некую структуру данных, не являются языками программирования. Если взять любой объектно-ориентированный язык, то бОльшая часть конструкций этого языка описывает структуру данных. Алгоритм там только внутри метода, да и там есть место для структур данных( взять тот же json, e4x в яваскрипте, да и не только). И если забить в поисковик что-то типа "эквивалентность алгоритмов и данных", то можно найти немало интересного по этому вопросу. Ну и наконец, если взглянуть на то, как происходит обработка кода машиной, то мы увидим, что на первоначальном этапе происходит парсинг. Результатом парсинга является абстрактное синтаксическое дерево, а что есть это дерево, как не структура данных? Выходит, что любой язык описывает структуру данных, и языки, более ориентированные на описание структур( такие как хмл) вполне подходят для написания программ и даже существуют реализации такого подхода.
Конфигурации. В конфигурацию обычно выводится та часть поведения программы, которую надо будет изменять во время исполнения, когда доступа к изменению кода не будет. При этом эффект должен быть таким же, как и от изменения программного кода. Достаточно ли этого, чтобы считать конфигурацию программой? Не знаю, но судить об этом так же категорично, как тут некоторые делали, не стал бы.
Ну и наконец хтмл. Самое странное, что его по сей день некоторые называют языком разметки гипертекста. Когда язык получил название, это действительно был язык, описывающий форматированный текст с гиперссылками. С тех пор кагбе многое изменилось: в нём появились элементы управления для отправки форм на сервер; сценарии; стили; изображения ( в том числе анимированные); встроенные объекты с зачастую чрезвычайно сложным поведением, к тому же способные взаимодействовать с документом; встроенные языки( такие как svg например) и всякая прочая мультимедия. В настоящее время с помощью этого языка пишутся клиентские части сложнейших веб-приложений, которые порой уже теснять свои десктопные аналоги. И что, не смотря на всё это он таки остался тем, что заложено в его названии? Конечно, вы скажете, что скрипты и прочее пишутся на других языках, поэтому не считаются, ну, а как же тогда быть с тем же яваскриптом и прочими скриптовыми языками? Яваскрипту для работы нужны объекты DOM, ActiveX, XPCOM или ещё что-то, а сам по себе он не в состоянии даже взаимдействовать с пользователем. Или взять язык XSLT. Считается языком программирования и даже полным по Тьюрингу, но все его вычислительные возможности кроются в языке XPath и без него он - ноль без палочки. А хтмл, в отличие от двух предыдущих примеров, по крайней мере самдостаточен, а возможность расширения скриптами и объектами заложена в самом языке.

ЗЫ
ЛСД, хслт как язык программирования полон по Тьюрингу, но его синтаксис основан на контекстно-свободной грамматике, полнотой по Тьюрингу не обладающей. Это общая тенденция и характерно дя большинства япов.
Применительно к грамматике полнота по Тьюрингу обозначает необходимый набор инструментов для её разбора: если для разбора к-с-грамматики достаточно автомата со стеком, то для тьюринг-полной грамматики этого мало.

ЗЫЗЫ
А вообще, надо в тему зазвать нашего главного специалиста по хтмл Иринузануду и как она скажет - так и будет