Ngôn ngữ hình thức

Các ngôn ngữ được định nghĩa bằng các quy tắc toán học, tạo thành cơ sở lý thuyết của ngôn ngữ lập trình.