Формальные языки - искусственно созданные языки для профессионального применения