- Bài tập (practices and exercises)
7.5. Automata tuyến tính giới nội (LBA)
LBA (Linear Bounded Automata) là một TM không đơn định và băng nhập có giới hạn ở hai đầu (cận phải và cận trái). Vì vậy, nó phải thỏa mãn hai điều kiện sau:
Bộ chữ cái nhập có chứa thêm hai ký hiệu đặc biệt ⊄ và $ dùng làm ký hiệu đánh dấu mút trái và mút phải.
LBA không thực hiện phép chuyển sang trái (L) từ ⊄ và không thực hiện phép chuyển sang phải (R) từ $, và cũng không viết các ký hiệu khác lên ⊄ và $.
Định nghĩa 7.6: LBA là hệ thống 8 thành phần
M(Q, Σ, Γ,δ,qo,⊄, $, F),
trong đó Q, Σ, Γ, qo, F vẫn như đã định nghĩa ở máy Turing, còn ⊄, $ ∈ Σ và hàm chuyển δ: Q × Γ → (Q × Γ × { L, R}) phải thỏa mãn điều kiện:
Nếu (p, Y, E) ∈ δ(q, ⊄) thì Y = ⊄ và E = R Nếu (p, Y, E) ∈ δ(q, $) thì Y = $ và E = L
Ngơn ngữ được chấp nhận bởi LBA: Ngôn ngữ L(M) được đoán nhận bởi LBA M là tập hợp :
L(M) = { w | w ∈ (Σ - {⊄, $})* và qo⊄w$ → M* αqβ với q ∈ F và αβ ∈ Γ* }
ĐL 7.6: Tồn tại giải thuật để xác định với mọi ngôn ngữ cảm ngữ cảnh CSG G(V, T, P, S) bất kỳ và một chuỗi nhập w ∈ T*, liệu chuỗi w có thuộc ngôn ngữ L(G) hay không.
ĐL 7.6: Nếu L là một CSG thì L sẽ được chấp nhận bởi một LBA nào đó. ĐL 7.6: Nếu L = L(M) với một LBA M (Q, Σ, Γ,δ,qo,⊄, $, F) thì L – {ε}
là một ngơn ngữ cảm ngữ cảnh.
- Yêu cầu SV chuẩn bị
Đọc trước bài giảng số 07 của giảng viên. Đọc chương 7 tài liệu 2.
- Tài liệu tham khảo (reading assignments)
1. Introduction to Automata Theory, Languages, and Computation (2nd Edition) - John E. Hopcropft, Rareev Motwani, Jeffrey D. Ullman. Addison- Wesley.-2001. Chương 7.
- Câu hỏi ôn tập (Questions)
1. Nêu khái niệm về máy Turing, các kỹ thuật xây dựng máy Turing, lớp ngơn ngữ đốn nhận bởi máy Turing.
2. Nêu khái niệm automata tuyến tính giới nội, lớp ngơn ngữ đốn nhận bởi automata tuyến tính giới nội.
Ôn tập và kiểm tra
Tiết thứ: 1-3 Tuần thứ: 15
- Mục đích yêu cầu
Mục đích: Hệ thống lại các kiến thức môn học, nội dung thi kiểm tra.
Kiểm tra đánh chất lượng sinh viên
Yêu cầu: Sinh viên nắm vững các kiến thức môn học trang bị