Một ngôn ngữ mà quy tắc rõ ràng được thành lập trước khi sử dụng của nó. Ví dụ bao gồm lập trình ngôn ngữ và ngôn ngữ toán học.