A formal language: Is an abstraction of the general characteristics of programming languages. Consists of a set of symbols and some formation rules by which these symbols can be combined into sentences. Accepts input, produces output, may have some temporary storage, and can make decisions in transforming the input into the output. | Automat và Ngôn ngữ hình thức Automata and formal language Dr. Huỳnh Trung Hiếu Faculty of Information Technology HoChiMinh City University of Industry Welcome to ATM&NNHT GV: TS. Huỳnh Trung Hiếu Khoa CNTT Email: hthieu@ Thông tin môn học: Số tín chỉ: 3 Lên lớp: 45 tiết Tự học: 90 tiết Yêu cầu: Dự lớp trên 75% Làm bài tập trên lớp và ở nhà Thảo luận theo nhóm Làm tiểu luận Thi giữa học phần Thi kết thúc học phần Formal Languages & Automata A formal language: Is an abstraction of the general characteristics of programming languages. Consists of a set of symbols and some formation rules by which these symbols can be combined into sentences. Formal Languages & Automata An automaton: Is a construction that possesses all the indispensable features of a digital computer. Accepts input, produces output, may have some temporary storage, and can make decisions in transforming the input into the output. Formal Languages & Automata Digital design Programming languages . | Automat và Ngôn ngữ hình thức Automata and formal language Dr. Huỳnh Trung Hiếu Faculty of Information Technology HoChiMinh City University of Industry Welcome to ATM&NNHT GV: TS. Huỳnh Trung Hiếu Khoa CNTT Email: hthieu@ Thông tin môn học: Số tín chỉ: 3 Lên lớp: 45 tiết Tự học: 90 tiết Yêu cầu: Dự lớp trên 75% Làm bài tập trên lớp và ở nhà Thảo luận theo nhóm Làm tiểu luận Thi giữa học phần Thi kết thúc học phần Formal Languages & Automata A formal language: Is an abstraction of the general characteristics of programming languages. Consists of a set of symbols and some formation rules by which these symbols can be combined into sentences. Formal Languages & Automata An automaton: Is a construction that possesses all the indispensable features of a digital computer. Accepts input, produces output, may have some temporary storage, and can make decisions in transforming the input into the output. Formal Languages & Automata Digital design Programming languages Compilers Some immediate and important applications. Tài liệu Giáo trình lý thuyết automat và ngôn ngữ hình thức. Hồ Văn Quân An introduction to formal languages and automata. Peter Linz Introduction to automata theory, languages, and computation. John Hopcroft & Jeffrey Ullman Mục tiêu môn học Xây dựng mô hình trừu tượng cho máy tính. Lý thuyết cung cấp cho chúng ta những khái niệm giúp ta đi đến những ứng dụng như : Thiết kế kỹ thuật số. Ngôn ngữ lập trình. Trình biên dịch. Nhận dạng ngôn ngữ, . Nội dung môn học Phần 1:Giới thiệu khái niệm, dẫn nhập. Phần 2: Automat hữu hạn. Phần 3: Ngôn ngữ và văn phạm chính quy. Phần 4: Các tính chất của ngôn ngữ chính quy Phần 5: Ngôn ngữ phi ngữ cảnh Phần 6: Đơn giản văn phạm vi ngữ cảnh Phần 7: Automat đẩy xống Phần 9: Máy Turing GiỚI THIỆU KHÁI NiỆM, DẪN NHẬP Three Basic Concepts Languages Grammars Automata Languages Là một hệ thống thích hợp nhằm để diễn tả những ý kiến, sự kiện, khái niệm chắc chắn. Chúng bao gồm tập hợp các ký hiệu và quy
