Logo
Unionpedia
Giao tiếp
Tải nội dung trên Google Play
Mới! Tải Unionpedia trên thiết bị Android™ của bạn!
Miễn phí
truy cập nhanh hơn trình duyệt!
 

Ngôn ngữ hình thức

Mục lục Ngôn ngữ hình thức

''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.

15 quan hệ: ASCII, Bảng chữ cái, Cây cú pháp trừu tượng, Chuỗi trống, Khoa học máy tính, Lý thuyết độ phức tạp tính toán, Luật, Ngôn ngữ lập trình, Ngôn ngữ tự nhiên, Ngữ pháp, Noam Chomsky, Từ khóa, Toán học, Trình biên dịch, Viện Công nghệ Massachusetts.

ASCII

Có 95 ký tự ASCII in được, được đánh số từ 32 đến 126. ASCII (American Standard Code for Information Interchange - Chuẩn mã trao đổi thông tin Hoa Kỳ), thường được phát âm là át-xơ-ki, là bộ ký tự và bộ mã ký tự dựa trên bảng chữ cái La Tinh được dùng trong tiếng Anh hiện đại và các ngôn ngữ Tây Âu khác.

Mới!!: Ngôn ngữ hình thức và ASCII · Xem thêm »

Bảng chữ cái

Canadian Syllabic và Latin '''Chữ tượng hình+chữ tượng thanh âm tiết:''' Chỉ dùng chữ tượng hình, Dùng cả chữ tượng hình và tượng thanh âm tiết, Dùng chữ tượng thanh âm tiết đặc trưng + một số ít chữ tượng hình, Dùng chữ tượng thanh âm tiết đặc trưng 250px Bảng chữ cái là một tập hợp các chữ cái - những ký hiệu viết cơ bản hoặc tự vị một trong số chúng thường đại diện cho một hoặc nhiều âm vị trong ngôn ngữ nói, hoặc trong hiện tại hoặc ở quá khứ.

Mới!!: Ngôn ngữ hình thức và Bảng chữ cái · Xem thêm »

Cây cú pháp trừu tượng

Trong ngành khoa học máy tính, cây cú pháp trừu tượng (AST, abstract syntax tree) là một cây có giới hạn, có nhãn và có định hướng.

Mới!!: Ngôn ngữ hình thức và Cây cú pháp trừu tượng · Xem thêm »

Chuỗi trống

Trong lý thuyết ngôn ngữ hình thức, chuỗi trống (empty string) là chuỗi đặc biệt duy nhất có độ dài là 0.

Mới!!: Ngôn ngữ hình thức và Chuỗi trống · Xem thêm »

Khoa học máy tính

Khoa học máy tính nghiên cứu các cơ sở lý thuyết của thông tin và tính toán, cùng với các kỹ thuật thực tiễn để thực hiện và áp dụng các cơ sở này.

Mới!!: Ngôn ngữ hình thức và Khoa học máy tính · Xem thêm »

Lý thuyết độ phức tạp tính toán

Lý thuyết độ phức tạp tính toán là một nhánh của lý thuyết tính toán trong lý thuyết khoa học máy tính và toán học tập trung vào phân loại các vấn đề tính toán theo độ khó nội tại của chúng.

Mới!!: Ngôn ngữ hình thức và Lý thuyết độ phức tạp tính toán · Xem thêm »

Luật

Luật có thể có một trong các nghĩa sau.

Mới!!: Ngôn ngữ hình thức và Luật · Xem thêm »

Ngôn ngữ lập trình

Tủ sách giáo khoa dạy cả những ngôn ngữ lập trình phổ biến và không phổ biến. Hàng ngàn ngôn ngữ và phương ngữ lập trình đã được thiết kế trong lịch sử máy tính. Ngôn ngữ lập trình là một tập con của ngôn ngữ máy tính, được thiết kế và chuẩn hóa để truyền các chỉ thị cho các máy có bộ xử lý (CPU), nói riêng là máy tính.

Mới!!: Ngôn ngữ hình thức và Ngôn ngữ lập trình · Xem thêm »

Ngôn ngữ tự nhiên

Trong ngôn ngữ học, một ngôn ngữ tự nhiên là bất kỳ ngôn ngữ nào phát sinh, không suy nghĩ trước trong não bộ của con người.

Mới!!: Ngôn ngữ hình thức và Ngôn ngữ tự nhiên · Xem thêm »

Ngữ pháp

Ngữ pháp hay văn phạm là quy tắc chủ yếu trong cấu trúc ngôn ngữ.

Mới!!: Ngôn ngữ hình thức và Ngữ pháp · Xem thêm »

Noam Chomsky

Avram Noam Chomsky (sinh ngày 7 tháng 12 năm 1928) là nhà ngôn ngữ học, nhà triết học,, by Zoltán Gendler Szabó, in Dictionary of Modern American Philosophers, 1860–1960, ed.

Mới!!: Ngôn ngữ hình thức và Noam Chomsky · Xem thêm »

Từ khóa

Từ khóa là từ trong một câu, một đoạn, một văn bản, mang một ý nghĩa quan trọng hoặc có mục đích nhấn mạnh theo ý của người viết.

Mới!!: Ngôn ngữ hình thức và Từ khóa · Xem thêm »

Toán học

Euclid, nhà toán học Hy Lạp, thế kỷ thứ 3 trước Tây lịch, theo hình dung của họa sĩ Raphael, trong một chi tiết của bức họa "Trường Athens".Người đời sau không biết Euclid trông như thế nào, do đó miêu tả về Euclid trong các tác phẩm nghệ thuật tùy thuộc vào trí tượng tượng của người nghệ sĩ (''xem Euclid''). Toán học là ngành nghiên cứu trừu tượng về những chủ đề như: lượng (các con số), cấu trúc, không gian, và sự thay đổi.

Mới!!: Ngôn ngữ hình thức và Toán học · Xem thêm »

Trình biên dịch

Biểu đồ hoạt động của một trình biên dịch lý tưởng. Trình biên dịch, còn gọi là phần mềm biên dịch, compiler, là một chương trình máy tính làm công việc dịch một chuỗi các câu lệnh được viết bằng một ngôn ngữ lập trình (gọi là ngôn ngữ nguồn hay mã nguồn), thành một chương trình tương đương nhưng ở dưới dạng một ngôn ngữ máy tính mới (gọi là ngôn ngữ đích) và thường là ngôn ngữ ở cấp thấp hơn, như ngôn ngữ máy.

Mới!!: Ngôn ngữ hình thức và Trình biên dịch · Xem thêm »

Viện Công nghệ Massachusetts

Viện Công nghệ Massachusetts (tiếng Anh: Massachusetts Institute of Technology hay MIT - đọc là em ai ti) là một viện đại học nghiên cứu tư thục ở thành phố Cambridge, bang Massachusetts, Hoa Kỳ.

Mới!!: Ngôn ngữ hình thức và Viện Công nghệ Massachusetts · Xem thêm »

Lối raIncoming
Chào! Chúng tôi đang ở trên Facebook bây giờ! »