Danh mục

Lecture note Formal methods in software engineering - Lecture 2 (cont)

Số trang: 12      Loại file: doc      Dung lượng: 307.00 KB      Lượt xem: 8      Lượt tải: 0    
tailieu_vip

Xem trước 2 trang đầu tiên của tài liệu này:

Thông tin tài liệu:

Languages and their generative grammars can be be classified into different cate- gories depending on the complexity of the structures of their production rules. The first category, which correspond to the simplest kind of production rules, is called regular.
Nội dung trích xuất từ tài liệu:
Lecture note Formal methods in software engineering - Lecture 2 (cont)

Tài liệu được xem nhiều: