Что такое язык программирования

Является ли текст ... языком? Очевидно нет.

Очередной срыв покровов

Нет ни одного слова «парадигма».

«Язы́к программи́рования — формальная знаковая система, предназначенная для записи компьютерных программ. Язык программирования определяет набор лексических, синтаксических и семантических правил, задающих внешний вид программы и действия, которые выполнит исполнитель (компьютер) под её управлением.»

То есть, грубо говоря, это некий набор соглашений, который действительно не может быть выражен только синтаксисом или только реализацией транслятора. В ЯП также входят различные концепции, вроде переменных и списков. Хотя для отдельных языков референсная реализация может диктовать особенности языка.

А мы еще рассуждаем о какой-то там семантике...

Кто, где???

http://esolangs.org/wiki/Thue
Вброшу-ка сюда язык с неограниченной грамматикой.

Имеем строку на русском языке, которая является так же синтаксически корректной для украинского. Является ли эта строка языком? Очевидно нет. Является ли русский или украинец, который ей прочитает, языком? Нет.

Нет никаких языков, языки — это иллюзия.

Демагогия какая-то.

Если твои foo, bar и baz - это инструкции, а на выходе транслятора тоже инструкции для чего-нибудь, то почему бы входному сорцу и не быть сорцом на языке программирования?

Отсыпь мне тоже этого чудесного порошка.

Ты все скучнее становишься

Просто бритва оккама отсекает как лишнюю сущность. С натяжкой, мы бы могли назвать ЯП совокупностью юзер-интерфейса и процессов, но это другая история.

то почему бы входному сорцу и не

Ну да, так оно и есть в общепринятом понимании. Инерция мышления...

Спасибо за ссылку, очень интересно, и в тему, вроде.

13 ответов и до сих пор никто не вспомнил о Тьюринг-полноте. ЛОР уже не торт.

Что такое транслятор?

13 ответов и до сих пор никто не вспомнил о Тьюринг-полноте

Не Тьюрингом единым, язык запросов SQL к примеру, тоже ЯЗЫК. Язык не обязан иметь возможность описания вычисления чего угодно.

В данном контексте это можно понимать как черный ящик, преобразующий входную строку в выходную. Вообще, интерпретатор и компилятор — частные случаи трансляторов.

А это тут при чём?

Это он подталкивает ТСа к новой теме для вброса:)

Ааа, ну не буду мешать ::)

Это он подталкивает ТСа к новой теме для вброса:)

Каким образом?

Парадокс китайской комнаты, адаптация для формальных языков, версия 0.1

Тьюринг-толстота не всегда так уж нужна и полезна.

Допустим, ты шизофреник.

выдыхай :)

Понимаешь, твои темы напоминают случайные блуждания в наборе околоИТ и ИТ тем, а там, где имеем дело со случ. процессами могут сильное влияние оказывать самые разные факторы:)

В данном контексте это можно понимать как черный ящик, преобразующий входную строку в выходную. Вообще, интерпретатор и компилятор — частные случаи трансляторов.

Интерпретатор — это виртуальная машина, т.е. «выполнятор» в более общем случае. А компилятор — да, подвид траслятора. А вообще я смотрю на твои треды и не пойму, ты дурачок, тролль или тебя реально так прет поделиться с миром всеми своими «открытиями»?

И он типа, вякает любое слово, и ты интерпретируешь любое слово из возможных «лес», «дрова», «космос» как провокацию?

Понимаешь

Да совершенночетко понимаю, okey.

не пойму

Здесь ключевое слово.

Интерпретатор — это

Ну да, еще раз

интерпретатор и компилятор — частные случаи трансляторов

У тебя более сложный случайный механизм, оперирующий на уровне тем, а не слов:)

Но тема называется «язык программирования», так что речь идет именно о нем, а не просто о каком-то языке.

Ладно, не буду приставать, ты можешь быть интересным собеседником, так что, будем считать, что какая-то [е*аная_неведомая] логика в твоих словах присутствует:)

Транслятор — машина превращения одного языка в другой. Интерпретатор выполняет команды. Это два совершенно разных действия.

А там написано «тьюринг-полный»?

Я не буду спорить, расслабься.

Здесь ключевое слово.

Ты главное смотри как нас много. Никто тебя понять не может. Либо гений, либо наоборот.

Так ты пиши сразу в треде: я прав и это не обсуждается. Ладно, я больше не буду отвечать в твои треды.

много

Ну, конкретно в этом треде вас не так уж и много (к моему удивлению).

Вообще-то ЯП сам по себе это просто некая формальная грамматика, строго говоря, даже необязательна ее реализация и да ЯП это некая условность, абстракция удобная людям, но не надо путать иллюзию с абстракцией, но ведь это и КО понятно.

иллюзию с абстракцией

Сначала так и хотел написать, но сознательно написал так как написал, чтобы подчеркнуть мысль.

Не ты поясни в чем смысл твоего срыва? То что ЯП — формальная модель, так это сейчас и в школах разъясняют. То что модель имеет ограничения? Ну это уже не столько в школе у человека закрепляется сколько в жизни(тм) и унивре

Нет, основной смысл тут — то, что рассуждать о программировании удобней, проще, и «правильней» безотносительно языков.

формальная модель

Не нужна.

Но тема достаточно сложна, вообще-то. Это как дзен, наверное, невозможно адекватно описать словами. Человек может все формулировать «правильно» но ни хрена не понимать. Эта тема о взгляде на...

достаточно сложна

Точней проста, по сути, но сложна для формулировки.

синтаксис языка A невозбранно может оказаться синтаксисом языка B

да

Tранслятор A транслирует строку в строку «1» транслятор B — в строку «2»

потому что семантика разная. потому и

рассуждаем о какой-то там семантике

А плавать удобней без бассейна

Скорей, конструировать бассейн и моделировать плавание в нем != плавать в бассейне. Мы можем сами определять, будет ли это бассейн с голубой водой и жирным п*дором внутри, или с зеленой водой и красивой женщиной. Язык и его семантика - вторичны, мы сами можем задавать все произвольным образом.

КО просто бьется от треда в истерике, небезызвестный Э. Таненбаум вообще свое описание компьютера построил по приципу от ВМ мы переходим к новой ВМ(вирт. машине), а вместе с тем и к новому языку

Если бы это было настолько очевидно, не рождались бы монстры вроде плюсов и уродцы, вроде жабы. Мы похоже, о разных вещах говорим. Еще раз: ЯП не имеет никакого отношения к программированию. Это интерфейс пользователя ЯП.

Поддерживаю. В случае интерпретатора, мы подаём в него код, и интерпретатор выполняет команды. Компилятор же берёт исходный код, и создаёт новый, который будет выполняться непосредственно процессором (без помощи компилятора, разумеется).