формальное определение языка программирования дайте, плз
Гм. А HTML разве полный по Тюрингу?
а полнота по тьюрингу - уже обязательный признак ЯП?
HQ9++ тоже вот нифига не поный. но тем не менее язык же.
HQ9++ тоже вот нифига не поный. но тем не менее язык же.
Требуется унифицированное определение для ЯП и ЭЯП?
формально ЯП — это отображение из некоторого подмножества множества конечных последовательностей символов некоторого алфавита (как раз собственно языка) во множество машин Тьюринга.
Норм?
Норм?
HTML - не язык программированияОн вроде как языком разметки был.
А что мне мешает его обозвать языком программирования? Ну по крайней мере исходя из определения ункулункула 
Ну по крайней мере исходя из определения ункулункулаНу в такой постановке не мешает. Но там неплохо было бы добавить, что отображение покрывает всё множество МТ.
Ну в такой постановке не мешает. Но там неплохо было бы добавить, что отображение покрывает всё множество МТ.Хотя нет. Наверное всё же ЯП можно что угодно назвать. Почему бы и нет? А про МТ — это уже когда речь идёт об алгоритмических ЯП.
Вообще всё это бесполезная демагогия.
> формально ЯП — это отображение из некоторого подмножества
очень важно что это подмножество должно быть разрешимым, а это отображение вычислимым. то есть для языка программирования должна быть возможность запрограммировать его интерпретатор. а не так что этот интерпретатор существует там по аксиоме выбора
а в остальном нормальное определение да.
очень важно что это подмножество должно быть разрешимым, а это отображение вычислимым. то есть для языка программирования должна быть возможность запрограммировать его интерпретатор. а не так что этот интерпретатор существует там по аксиоме выбора
а в остальном нормальное определение да.
>> формально ЯП — это отображение из некоторого подмножества
> очень важно что это подмножество должно быть разрешимым,
> а это отображение вычислимым.
Я думаю, что это желаемые свойства, для определения необходимыми
не являющиеся. Например, существуют такие языки, как перл, пхп и
плюсы, по какому-то явно недоразумению считающиеся языками
программирования.
---
"Colourless ideas sleep furiously."
> очень важно что это подмножество должно быть разрешимым,
> а это отображение вычислимым.
Я думаю, что это желаемые свойства, для определения необходимыми
не являющиеся. Например, существуют такие языки, как перл, пхп и
плюсы, по какому-то явно недоразумению считающиеся языками
программирования.
---
"Colourless ideas sleep furiously."
вики говорит что это таки ЯП, в некотором смысле:
http://en.wikipedia.org/wiki/Declarative_programming_languag...
http://en.wikipedia.org/wiki/Declarative_programming_languag...
Оставить комментарий
wwoland
Вопрос, наверное, глупый и детский, но все же, хотелось бы получить какое-то формально определение, что такое язык программирования, может быть критерийНу или хотя бы ссылку, где копать, пока что нашел только вики, но там как-то все расплывчато очень.
Ну и на основе этого хочется убедиться, что HTML - не язык программирования