Возможно ли программирование на формализованном естественном языке? Речь идет не о псевдоязыке с фиксированным синтаксисом или лексикой, а о языке обладающая всеми (или потенциально всеми) свойствами настоящей языка, в том числе возможностью описания самого себя?
Да и вообще есть ли в этом смысл?
Для данных целей хорошо подходит упрощенный английский язык, из-за его сравнительно простой грамматики
эта тема, вероятно, должна была быть создана в "философии программирования")

Это сообщение отредактировал(а) Unker - 27.1.2010, 10:00

Edsger W. Dijkstra, On the foolishness of "natural language programming".


Сказано было сорок с лишним лет назад. Актуальности, на мой взгляд, не потеряло.

Все зависит от того насколько мы владеем языком и умеем формулировать свои мысли. Языковой анализатор может переформулировать предложение, таким образом раскрывая суть, которую он понял.

Где-то я читал, что с повышением уровня языки программирования приближаются к языкам человеческим. Вроде как современные языки - они 4-го уровня и есть даже один 5-го - SQL. Типа SQL использует почти нормальные фразы аглицкого. Ерундистика для тех, кто SQL в глаза не видел.

Во всех человеческих языках много неопределенности, подразумевающих толкование принимающей стороной. Скажем сказано одно слово "Иди":

• Сказанное мужу утром, может быть понято как "Пора тебе на работу".
• Донесшееся до него же вечером из спальни может быть воспринято как приглашеие заняться сексом.
• Обращенное и годовалому ребенку - "учись ходить" (то же и к взрослому, но очень пяному  )
• Сказанное жестко, в ответ на просьбу закурить - просто сокращение от чуть более длинного посылания.
• Дописывайте список сами.

В компьютерных же языках GOTO поято не будет, если точно не указано куда идти  

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

Программирование и естественный язык: пропасть непреодолимая... и такие треды уже боян. Люди - разветвленнейшие самообучающиеся нейронные сети, а компы - машины тьюринга. Прямая совместимость невозможна!

Настоящая языкä: 
динозавр динозаврихе: -   у-У   !
Она ему:  - Э` э   .
Он ей:      - у-у-У!
Она ему:  - Э` э.
Он ей:      - Вымрем, дура!


Мораль анека в том, что y-y-y становиться понятным 1) в контексте и 2) в совокупности с интонацией, мимикой и т.п. Компиллятор естественного языка должен обладать телепатическими способностями   

На самом же деле наименее телепатичный компилятор лучше, он позволит/пропустит меньше ошибок. 

Возможно же мыслить на обычные языке программирования (при наличии достаточного опыта), то почему же нельзя строго-естественном языке?

Так, тема давно уже не новая, но где она поднималась на этом форуме?

В МЭСИ еще в ноябре 1979 г. на встрече с группой ведущих американских IT-специалистов, возглавляемой одним из авторов известного проекта ISDOS - проф. Д.Тайкроу, обсуждалась концепция системы, обеспечивающей реализацию программирования на естественном языке.
А еще через год там же в МЭСИ была продемонстрирована ее работа  на примерах получения готовых ПЛ-программ решения некоторых экономических задач, по запросам специалистов управления, сформулированным на языке, близком к естественному.

Л.Еремин. Характеристика языков двухуровневой системы машинного проектирования программ обработки учетно-статистической информации – “СИНТЕЗ”. Автоматизация проектирования (материалы семинара). М.: МДНТП, 1981, стр.17-22.