... đệ quy như sau:1) ∅ là biểu thức chính quy ký hiệu cho tập rỗng2) ε là biểu thức chính quy ký hiệu cho tập {ε}3) ∀a ∈ Σ, a là biểu thức chính quy ký hiệu cho tập {a}4) Nếu r và s ... hình thức ta định nghĩa ôtômát hữu hạn đơn định là bộ gồm năm thành phần (Q, Σ, δ, q0, F), trong đó :•Q là tập hợp hữu hạn các trạng thái.∀Σ là bộ chữ cái hữu hạn. ∀δ là hàm chuyển ánh xạ ... hiệu cho tập {a}4) Nếu r và s là các biểu thức chính quy ký hiệu cho các tập hợp R và S thì (r + s), (rs) và ( r*) là các biểu thức chính quy ký hiệu cho các tập hợp R ∪ S, RS, R* tương ứng.Thứ...