Chúng tôi giải thích ngôn ngữ chính thức là gì, đặc điểm, ví dụ và loại của chúng. Ngoài ra, sự khác biệt của nó với các ngôn ngữ tự nhiên.
Ngôn ngữ chính thức là gì?
Trong tin học và khoa học thông tin, khi chúng ta đề cập đến một ngôn ngữ chính thức thay vì các ngôn ngữ tự nhiên, chúng ta đề cập đến những hệ thống dấu hiệu được ưu đãi với các biểu tượng nguyên thủy và một hệ thống quy tắc sử dụng được chỉ định chính thức, nghĩa là, được ưu đãi với một bảng chữ cái và của một văn phạm (hoặc là cú pháp) chính thức:
- Bảng chữ cái được hiểu là một tập hợp hữu hạn và không rỗng của các ký hiệu nguyên thủy.
- Ngữ pháp chính thức được hiểu là tập hợp hữu hạn các quy tắc kết hợp của bảng chữ cái nói trên để tạo thành chuỗi hữu hạn với một ý nghĩa cụ thể.
Ở điểm này, nó khác với các ngôn ngữ tự nhiên, phát sinh xung quanh nhu cầu giao tiếp của con người, trong đó các quy tắc phức tạp và mơ hồ, và ý nghĩa phụ thuộc vào cách giải thích dấu hiệu ngôn ngữ. Vì lý do này, ngôn ngữ tự nhiên phức tạp hơn nhiều so với cách đọc của một ngôn ngữ chính thống mà quy tắc chúng là hữu hạn và được thiết lập từ trước.
Các ngôn ngữ trang trọng rất quan trọng đối với thế giới của môn Toán và của tin học, vì họ cho phép chúng tôi tạo mã số giao tiếp giữa con người và máy móc, nghĩa là, lập trình. Chúng ta không nên nhầm lẫn giữa các ngôn ngữ chính thức với cấp độ chính thức của ngôn ngữ hoặc với ngôn ngữ trang trọng, là cách sử dụng ngôn ngữ bằng lời nói chính thức, lịch sự và trang trọng, trái ngược với việc sử dụng nó thông thường, chán nản và không chính thức.
Theo nhà ngôn ngữ học người Mỹ Noam Chomsky (1928-), ngôn ngữ chính thức có thể được phân thành bốn loại:
- Loại 3: ngôn ngữ thông thường được ưu đãi với ngữ pháp thông thường, nghĩa là, với hệ thống quy tắc có thể thu được bằng biểu thức chính quy và cho phép thu được tất cả các chuỗi ký hiệu có thể có.
- Loại 2: các ngôn ngữ không theo ngữ cảnh được ưu đãi với các ngữ pháp không theo ngữ cảnh, tức là, chúng cho phép lấy tất cả các chuỗi ký hiệu có thể có, nhưng ở mức độ phức tạp cao hơn nhiều so với các chuỗi ký hiệu thông thường.
- Loại 1: các ngôn ngữ theo ngữ cảnh được ưu đãi với các ngữ pháp theo ngữ cảnh, nghĩa là, cho phép thu được các chuỗi ký hiệu phụ thuộc, như tên của chúng chỉ ra, của định nghĩa bài văn.
- Loại 0: ngôn ngữ tự do được ưu đãi với ngữ pháp miễn phí, không có giới hạn, tạo ra các ngôn ngữ liệt kê đệ quy.
Ví dụ về ngôn ngữ chính thức
Ví dụ về các ngôn ngữ chính thức là:
- Các ngôn ngữ lập trình với cái phần mềm.
- Trò chơi cờ vua có giới hạn quân cờ và các chuyển động được mô tả trước.
- Mã Morse, thông qua các ký hiệu ngắn và dài tạo nên từ Y số nguyên.
- Sở hữu Hợp lý biểu tượng tạo thành một ngôn ngữ hình thức.