mã vì tồn tại từ w = abbbabbbaabb, w có hai phân tích khác nhau trong X,w = (abbba)(bbba)(abb) = (abb)(b)(abb)(baabb).Sử dụng thuật toán kiểm tra mã, ta cóU1 = {ba, aabb, ba}, U2 = {a, ba, abb}, U3 = {, a, ba, bb, bbba, abb}.Vì U3, suy ra X không là mã.Nhận xét 1.1. Giả sử Vi (i 1), V1 V2 [r]