Đang chuẩn bị liên kết để tải về tài liệu:
Lecture Formal methods in software engineering: Theory of automata

This chapter presents the following content: Defining languages by another new method, regular expressions, language-defining symbols, plus sign, formal definition of regular expressions, product set, languages associated with regular expressions, how hard it is to understand a regular expression, . |