Phân tích tư tưởng của nhân dân qua đoạn thơ: Những người vợ nhớ chồng… Những cuộc đời đã hóa sông núi ta trong Đất nước của Nguyễn Khoa Điềm
3403
1
0
9 trang
In this lecture we introduced the basic notation and terminology required to describe formal grammar and languages, we showed how a finite set of production rules (a gram- mar) was a convenient way of describing a potentially infinitely large set of strings (a language), we describe how regular expressions provide a con- venient way of describing regular languages,...
Nội dung trích xuất từ tài liệu:
Lecture note Formal methods in software engineering - Lecture 2: Formal languages (cont)
