Thuật toán xác định tính chất mã của ngôn ngữ chính quy

Trong bài báo này, các tác giả trình bày một thuật toán mới mở rộng thuật toán Sardinas-Patterson xác định tính chất mã của một ngôn ngữ. Từ đó nhận được một thuật toán với độ phức tạp cỡ O(k) để nhận biết một ngôn ngữ chính quy cho trước là mã hay không, với k là chỉ số hữu hạn của tương đẳng cú pháp thỏa ngôn ngữ đó.