ЕстествеННые Языки, психология-ЯП и программироваНие

From

Vassily Kiryanov (2:5054/36)

To

Boris Rudakov ()

Date

2003-02-10T15:40:48Z

Area

CARBON.COPY

 * Forwarded from area 'PERM.LANGUAGE'
Hi Boris!

07 Feb 03 23:13, Boris Rudakov wrote to Vassily Kiryanov:

GK>>> КтоНибудь заНимался сравНиельНым аНализом:
GK>>> ЯП<=>естествеННые языки;
VK>> А стоит ли сравнивать "бульдога с носорогом"? Это разные языки
VK>> для разных целей. И, соответственно, обладающие разными
VK>> свойствами.

BR> Это не совсем, или даже - совсем не так :)
BR> Естественные языки отличаются от языков "программирования"
BR> исключительно степенью формализации. Я вообще в данном контексте
BR> говорил бы не о "языках программирования", а о "формальных языках" и
BR> грамматиках. Их отличие от языков естественных искючительно в
BR> значительной простоте и высокой формализации, но никак не в природе.

Когда-то, ещё при Гришине здесь малость обсуждалось отличие перевода с языка на язык от трансляции программы. Тогда не удалось оспорить никому вот что:
для процесса трансляции программы _обязательна_ только однозначность исполнения программы в неоттранслированном и в машинном коде.
То есть, условно говоря, во что странслируется оператор "a:=0": в "mov a,0", в "xor a,a" или в "sub a,a" для процесса трансляции безразлично.
А для естественных языков определение перевода сложнее. Если надо - поищу.
Но из вышеприведённого следует, что программа (текст на формальном языке) должна _однозначно_ разбираться синтаксически. Разночтения в формальном языке, предназначенном для записи программ недопустимы. Ибо программы интерпретируют "конечные автоматы". А естественные языки предназначены для передачи информации между аналоговыми вычислительными системами, да ещё и обладающими социальным аспектом. Различие предназначения и порождает неизбежно разницу в форме языков.


GK>>> ПрограмироваНие<=>процесс передачи иНформации между человеком и
GK>>> компьютером (а общеНие- процесс передачи иНформации между двумя
GK>>> людьми);
VK>> Программирование это не процесс передачи информации. Это процесс
VK>> формулирования способа решения задачи. В более общем плане это
VK>> _обработка_ а не _передача_ информации.

BR> Все не совсем так. Правильнее говорить о "языках" как таковых, как о
BR> своде формализмов, позволяющих кодировать и передавать информацию.
BR> Процесс использования языка (ЛЮБОГО языка для передачи ЛЮБОЙ
BR> информации) - это процесс кодирования информации средствами языковых
BR> конструкций.

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

BR> Можно сказать что и сам процесс восприятия информации - кодирование
BR> наблюдаемых эффектов в набор формализмов, сохраняемых и обрабатываемых
BR> в мозгу. Вопрочем, это уже из более общих теорий :)
Боря, так это ты только подтверждаешь мой тезис о том, что кодирование не относится к передаче, а относится к обработке информации. Аж три абзаца этому посвятил ;)

BR> А возвращаясь к языкам, следует заметить что принципиальной разницы
BR> между формальными и естественными языками нет. И то и другое служит
BR> для кодирования/декодирования информации. И то и другое описывается
BR> матемматически сходным образом. Формальные языки всего-навсего
BR> существенно более просты, т.к. при их создании преследуется две цели:
BR> 1. Сделать процесс трансляции однозначным (правильная конструкция
BR> языка обозначает строго одну определенную вещь и более одного
BR> толкования быть не может). 2. Создание транслятора должно быть не
BR> слишком сложным.
С этим, как видишь, я согласен.

BR> Естественные языки не ограничены этими требованиями и потому
BR> многократно сложнее. Но по форме, а не по идеологии :)
А вот с этим - нет, смотри выше.


BR> Так что я бы не стал так уж отделать естественные языки от формальных
BR> и так уж однобоко понимать место и сущность формальных языков :)
А я стал бы. Слишком много (ИМХО) отличий меж ними.

Всего хорошего.              "За верную и прибыльную дружбу!" (c) Яго.
                Vassily
---
 * Origin: Совесть - лучшее лекарство, время - лучший контролер. (2:5054/36)