Развитие языков человеко-машинного общения началось в 40-х гг. вместе с появлением ЭВМ. Первыми языками этого типа были языки описания вычислит, процессов путем задания машинных команд и данных в двоичном коде. В нач. 50-х гг. создаются системы символического кодирования (ассемблеры), в которых используются мнемонические символьные обозначения операций (глаголов) и операндов (объектов, дополнений); в 1957 в США был разработан язык программирования фортран, в 1960 группа европейских ученых предложила язык алгол-60. Обычно текст на языке программирования состоит из заголовка программы, описательной (декларативной) и процедурной части; в декларативной части описываются объекты (величины), над которыми будут производиться действия, в процедурной части в императивной или сентенциальной (повествовательной) форме задаются вычисления. Вычисления на языках программирования задаются в виде операторов (предложений), в состав которых входят операнды (переменные и константы) и символы, обозначающие арифметические, логические, символьные, теоретико-множественные и др. операции и вычислит, функции; имеются особые грамматические конструкции для задания логических условий, циклов, составных операторов (аналоги сложных предложений), конструкции для задания и использования процедур и функций, операторы ввода и вывода данных, операторы для обращения к транслятору и к операционной системе, т. е. к программам, интерпретирующим текст на языке программирования и следящим за его правильным исполнением (пониманием). Из искусственных языков языки программирования наиболее близки к естественным языкам по составу выполняемых ими лингвистических функций (имеют место коммуникативная, репрезентативная, конативная, фатическая и металингвистическая функции). Для языков программирования, как и для естественного языка, обычна асимметрия плана выражения и плана содержания (имеется синонимия, многозначность, омонимия). Они служат не только для собственно программирования, но и для профессионального общения программистов; существуют спец. версии языков для публикации алгоритмов.
К 80-м гг. существовало, по-видимому, св. 500 различных языков программирования, многочисленные версии (диалекты) некоторых наиболее распространенных языков (фортрана, алгола-60, ПЛ/I, кобола). Языки программирования обладают в определенной степени свойством саморазвития (расширяемостью) за счет возможности определения в них бесконечного числа функций; существуют языки с определяемыми типами значений (алгол-68, паскаль, ада). Это свойство дает возможность пользователю определять свой язык программирования средствами данного.
Близки к языкам программирования и др. средства человеко-машинного общения: языки операционных систем, с помощью которых пользователи организуют свое взаимодействие с вычислит, машиной и ее программным обеспечением; языки взаимодействия с базами данных и информационными системами, с помощью которых пользователи определяют и вводят информацию в систему, запрашивают в системе различные данные. Частной (и первоначально возникшей) формой запросных языков являются информационно-поисковые языки, задаваемые информационно-поисковыми тезаурусами, классификаторами понятий и предметов или просто словарями, автоматически составленными системой при вводе в нее информации. Текст на информационно-поисковом языке имеет форму назывного предложения, в котором перечисляются понятия, являющиеся признаками искомых данных. Информационно-поисковые языки могут быть чисто словарными (без грамматики), но могут обладать и грамматическими средствами выражения синтагматических и парадигматических. отношений между понятиями. Они служат не только для формулирования запросов к информационной системе, но и средством индексирования (т. е. отображения содержания) текстов, вводимых в ЭВМ.
Для взаимодействия с ЭВМ используется также строго формально определимая часть (подмножество) естественного языка, так называемый ограниченный естественный, или специализированный естественный язык, занимающий промежуточное положение между естественными и искусственными языками. Выражения на ограниченном естественном языке подобны выражениям на естественном языке, но в них не используются слова, значения которых лежат вне данной предметной области, сложные для анализа или нерегулярные грамматические формы и конструкции.