หลัก ฐาน ทาง คณิตศาสตร์ มี บทบาท สําคัญ ใน การ เข้าใจ และ การ ออก แบบ ภาษา โปรแกรม.
ไวยากรณ์ และ ไวยากรณ์ แบบ จําลอง
ไวยากรณ์ ใช้ หมาย ถึง โครง สร้าง ของ โปรแกรม ที่ ใช้ ได้ ใน ภาษา.
การใช้เครื่องมือทางคณิตศาสตร์ เช่น Backus-Nur Form (BNF) นักออกแบบภาษาสามารถอธิบายกฎไวยากรณ์ได้แม่นยํา ลดความซับซ้อนและความผิดพลาดระหว่างการใช้ภาษา
วิธี การ สร้าง ภูมิ คุ้ม กัน และ วิธี การ ที่ ใช้ กัน ทั่ว ไป
นัก คณิตศาสตร์ อธิบาย ความ หมาย ของ การ สร้าง ระบบ ประสาท แบบ สังเคราะห์ ประสาท.
ตัว อย่าง เหล่า นี้ ช่วย ตรวจ สอบ ความ ถูก ต้อง ของ โปรแกรม, กําหนด รหัส ที่ เหมาะ สม, และ เหตุ ผล เกี่ยว กับ พฤติกรรม ของ โปรแกรม อย่าง เป็น ระบบ.
โปรแกรม ต่าง ๆ ใน การ ออก แบบ ภาษา
นอก จาก นี้ ยัง ช่วย ให้ การ พัฒนา ผู้ ประกอบ แบบ และ ล่าม ที่ แปล รหัส เป็น คํา สั่ง ของ เครื่องจักร ได้ อย่าง ถูก ต้อง.
- ข้อกําหนดการใช้ไวยากรณ์แบบ Formal
- โมเดลแบบเซแมนติก
- ตรวจความถูกต้องของโปรแกรม
- ตัวคอมไพล์ถูกต้อง