Ebook An introduction to formal language theory that integrates experimentation and proof
Số trang: 288
Loại file: pdf
Dung lượng: 1.15 MB
Lượt xem: 21
Lượt tải: 0
Xem trước 10 trang đầu tiên của tài liệu này:
Thông tin tài liệu:
The book consists of five chapters. Chapter 1, Mathematical Background; Chapter 2, Formal Languages; Chapter 3, Regular Languages; Chapter 4, Context-free Languages; Chapter 5, Recursive and Recursively Enumerable Languages.
Nội dung trích xuất từ tài liệu:
Ebook An introduction to formal language theory that integrates experimentation and proof
Nội dung trích xuất từ tài liệu:
Ebook An introduction to formal language theory that integrates experimentation and proof
Tìm kiếm theo từ khóa liên quan:
Formal language theory Formal languages Regular languages Context-free languages R.E. languages Finite automataGợi ý tài liệu liên quan:
-
Lecture Theory of Automata: Lesson 25
26 trang 38 0 0 -
Ebok Mathematical foundation of computer science: Part 2
210 trang 29 0 0 -
Ebook Introduction to the theory of computation (2/E)
440 trang 23 0 0 -
47 trang 12 0 0
-
Ebook Theory of computer science: Automata, languages and computation (Third edition) - Part 1
239 trang 12 0 0 -
Lecture note Formal methods in software engineering - Lecture 1
6 trang 11 0 0 -
Lecture note Formal methods in software engineering - Lecture 3 (cont)
18 trang 10 0 0 -
Lecture note Formal methods in software engineering - Lecture 5 (cont)
8 trang 9 0 0 -
Lecture note Formal methods in software engineering - Lecture 2
11 trang 9 0 0 -
Lecture note Formal methods in software engineering - Lecture 5.4
6 trang 9 0 0