специализированные искусственные языки

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

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