... ω1, ω2, ω3∈{a, b}*} 2.2 QUAN HỆ GIỮA ÔTÔMAT HỮU HẠN VÀ NGÔN NGỮ CHÍNH QUY 2.2.1 Định lý: Nếu ngôn ngữ L đoán nhận ôtômat hữu hạn không đơn định tồn ôtômat hữu hạn đơn định đoán nhận L Chứng minh: ... 001}*} ngôn ngữ quy 2.2.4 Chú ý: Từ định lý với ý ôtômat hữu hạn đơn định xem ôtômat hữu hạn không đơn định, ta rút kết luận sau Gọi D lớp ngôn ngữ đoán nhận ôtômat hữu hạn đơn định, N lớp ngôn ngữ ... {a1}, …, {an} việc áp dụng số hữu hạn phép hợp, ghép, lặp Vì tập sở ngôn ngữ quy hợp, ghép, lặp số hữu hạn chúng ngôn ngữ quy Do L ngôn ngữ quy Giả sử L ngôn ngữ quy bảng chữ Σ Khi theo Mục 2.2,...