ภาษาโปรแกรม
ภาษาโปรแกรม คือภาษาประดิษฐ์ชนิดหนึ่งที่ออกแบบขึ้นมาเพื่อสื่อสารชุดคำสั่งแก่เครื่องจักร โดยเฉพาะอย่างยิ่งคอมพิวเตอร์ ภาษาโปรแกรมสามารถใช้สร้างโปรแกรมที่ควบคุมพฤติกรรมของเครื่องจักร และ/หรือ แสดงออกด้วยขั้นตอนวิธี (algorithm) อย่างตรงไปตรงมา ผู้เขียนโปรแกรมซึ่งหมายถึงผู้ที่ใช้ภาษาโปรแกรมเรียกว่า โปรแกรมเมอร์ (programmer)
วากยสัมพันธ์ (ภาษาโปรแกรม)
ในวิทยาการคอมพิวเตอร์ วากยสัมพันธ์ของภาษาโปรแกรม คือกลุ่มของกฎเกณฑ์ที่นิยามการจัดหมู่ของสัญลักษณ์ต่าง ๆ ที่ถือว่าเป็นการสร้างโปรแกรมด้วยภาษานั้นได้อย่างถูกต้อง วากยสัมพันธ์ของภาษาใดภาษาหนึ่งเป็นตัวกำหนดรูปแบบพื้นหน้า (surface form) ของมัน ภาษาโปรแกรมเชิงข้อความ (text-based programming language) อิงอยู่กับลำดับของอักขระต่าง ๆ ในขณะที่ภาษาโปรแกรมเชิงทัศน์ (visual programming language) อิงอยู่กับการจัดวางตามพื้นที่และความเชื่อมโยงกับสัญลักษณ์ (ซึ่งอาจจะเป็นข้อความหรือกราฟิกก็ได้)