Толковый переводоведческий словарь - специализированные искусственные языки

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

Толковый переводоведческий словарь. 3-е издание, переработанное. — М.: Флинта: Наука

Л.Л. Нелюбин

2003