Специализированными искусственными языками различного назначения являются символические языки науки (языки математики, логики, лингвистики, химии и др.) и языки человеко-машинного общения (алгоритмические, или языки программирования, языки операционных систем, управления базами данных, информационных, запросно-ответных систем и т. п.). Общим признаком специализированных искусственных языков является формальный метод их описания (определения) путем задания алфавита (словаря), правил образования и преобразования выражений (формул) и семантики, т. е. способа содержательной интерпретации выражений. Несмотря на формальный метод определения, эти языки в большинстве своем не являются закрытыми системами, т. к. правила образования слов и выражений допускают рекурсию. Поэтому, как и в естественных языках, словарь и количество порождаемых текстов потенциально бесконечны.
Началом создания и применения специализированных искусственных языков можно считать использование в Европе с 16 в. буквенной нотации и символов операций в математических выражениях; в 17—18 вв. был создан язык дифференциального и интегрального исчисления, в 19—20 вв.— язык математической логики. Элементы символических языков лингвистики создаются в 30—40-е гг. 20 в. Символические языки науки являются формальными системами, предназначенными для представления знаний и манипулирования ими в соответствующих предметных областях (существуют и независимые от предметных областей языки представления знаний), т. е. в них реализуются ограниченное число функций языка (металингвистическая, репрезентативная), в то же время они выполняют функции, не свойственные естественному языку (например, служить средством логического вывода).
[редактировать]