Đang chuẩn bị liên kết để tải về tài liệu:
Lecture note Formal methods in software engineering - Lecture
Đang chuẩn bị nút TẢI XUỐNG, xin hãy chờ
Tải xuống
We have seen in the previous part of this script how formal language theory studies the syntax of languages. Yet, this formalism is not concerned with how sentences – i.e. elements of a language – are related to each other. In other words, formal language theory does not answer the question of how a sentence can be derived from already existing sentences. |