... cấu hình khởi đầu x1qx2, máy không dừng Trang 293 Lý thuyết Ôtômát & NNHT - Khoa Công Nghệ Thông Tin Máy Turing chấp nhận ngôn ngữ Định nghĩa 9. 3 Cho M = (Q, Σ, Γ, δ, q0, , F) máy Turing, ngôn ngữ ... riêng biệt Bất kỳ máy dừng, vài hay tất nội dung băng xem kết xuất (output) Trang 291 Lý thuyết Ôtômát & NNHT - Khoa Công Nghệ Thông Tin Hình trạng tức thời Định nghĩa 9. 2 Cho M = (Q, Σ, Γ, δ, q0, ... ak-1q1akak+1 an |_ a1a2 q2ak-1bak+1 an δ( q1, ak) = (q2, b, L) Trang 292 Lý thuyết Ôtômát & NNHT - Khoa Công Nghệ Thông Tin Hình trạng tức thời (tt) M gọi dừng sau cấu hình khởi đầu x1qix2 x1qix2...