intTypePromotion=1

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

Chia sẻ: _ _ | Ngày: | Loại File: DOC | Số trang:9

0
3
lượt xem
0
download

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

Mô tả tài liệu
  Download Vui lòng tải xuống để xem tài liệu đầy đủ

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,...

Chủ đề:
Lưu

Nội dung Text: Lecture note Formal methods in software engineering - Lecture 2: Formal languages (cont)

ADSENSE
ADSENSE

CÓ THỂ BẠN MUỐN DOWNLOAD

 

Đồng bộ tài khoản
2=>2