Đang chuẩn bị liên kết để tải về tài liệu:
Lecture note Formal methods in software engineering - Lecture 2 (cont)
Đang chuẩn bị nút TẢI XUỐNG, xin hãy chờ
Tải xuống
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. |