เป็นภาษาที่มีกฎก่อตั้งก่อนการใช้อย่างชัดเจน ตัวอย่างได้แก่การเขียนโปรแกรมภาษาและภาษาทางคณิตศาสตร์