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