Ngôn ngữ hình thức là môn học nền tảng trong ngành khoa học máy tính, nghiên cứu các hệ thống ký hiệu và quy tắc hình thành chuỗi ký hiệu hợp lệ. Môn học đóng vai trò quan trọng trong thiết kế trình biên dịch, kiểm chứng phần mềm và phân tích cú pháp.