... thuyết ngôn ngữ. Các tập vào và ra của một thiết bị tính toán có thể được xem như các ngôn ngữ và nói một sâu sắc hơn thì các mô hình tính toán có thể được đồng nhất với các lớp các đặc tả ngôn ... (t.ư. cảm ngữ cảnh, phi ngữ cảnh, chính quy) sinh ra nó. Vì vậy, đối với các lớp ngôn ngữ, ta có bao hàm thức: 13 {ngôn ngữ chính quy} ⊂ {ngôn ngữ phi ngữ cảnh} ⊂ {ngôn ngữ cảm ngữ cảnh} ... là một ngôn ngữ trên Σ. Đặc biệt, tập ∅ là một ngôn ngữ trên Σ, gọi là ngôn ngữ rỗng; tập {ε} cũng là một ngôn ngữ trên Σ, đây là ngôn ngữ chỉ chứa từ rỗng và Σ* là ngôn ngữ gồm...