Язык, правила которого явно создаются до его использования. Примеры программирования и математического языков.