Khác biệt giữa bản sửa đổi của “Ngôn ngữ hình thức”

Nội dung được xóa Nội dung được thêm vào
TuHan-Bot (thảo luận | đóng góp)
n clean up, replaced: {{Reflist}} → {{Tham khảo}}
Cheers!-bot (thảo luận | đóng góp)
n clean up, replaced: |thumb| → |nhỏ| (2), [[Image: → [[Hình: (2) using AWB
Dòng 1:
[[ImageHình:Automata finito.png|thumbnhỏ|220px|''Tiền đề trong việc xây dựng lý thuyết Automata là ngôn ngữ hình thức'']]
Trong [[toán học]] và [[khoa học máy tính]], một '''ngôn ngữ hình thức''' (''formal language'') được định nghĩa là một tập các chuỗi (''string'') được xây dựng dựa trên một [[bảng chữ cái]] (''alphabet''), và chúng được ràng buộc bởi các [[luật]] (''rule'') hoặc [[văn phạm]] (''grammar'') đã được định nghĩa trước. ''Alphabet'' có thể là tập các kí tự trong [[ngôn ngữ tự nhiên]] (''natural language'') hoặc tập tự định nghĩa các kí tự.
 
Dòng 22:
 
==Phân loại ngôn ngữ theo mô hình Chomsky==
[[ImageHình:Chomsky-hierarchy.svg|thumbnhỏ|230px|''Mô hình phân cấp Chomsky. Cơ bản nhất là Regular, phức tạp nhất là Recursively Enumerable'']]
[[Noam Chomsky]] (1928), một nhà triết học người Mĩ về ngôn ngữ và là giáo sư ngôn ngữ học tại [[MIT]] đã xây dựng lên một ý tưởng rằng ''"Loài người học ngôn ngữ không phải bắt đầu từ những hành vi (behavior) (là những phản ứng sự kích thích một cách có định hướng), mà nó dựa trên nhận thức và sự bẩm sinh"''<ref>[http://www.chomsky.info/onchomsky/199812--.pdf ''Noam Chomsky on LANGUAGE'']</ref>. Bằng những nỗ lực để chứng minh học thuyết này, ông đã đưa ra một mô hình gọi là [[Mô hình phân cấp Chomsky]].