Tác giả: Cao Xuân Hưng
Suffix automaton của một chuỗi $S$ là đồ thị liên thông có hướng không chu trình (DAG) trong đó mỗi nút là một trạng thái của chuỗi và mỗi cạnh nối là một bước chuyển trạng thái được đánh dấu bằng một kí tự trong $S$.
Đồ thị gồm một nút gốc (initial state) được đánh dấu i. Từ nút gốc, ta có thể đi đến tất cả các nút trong đồ thị.
Một số nút kết thúc (terminal state) được đánh dấu (*) với ý nghĩa nếu ta đi từ nút gốc đến một nút kết thúc bất kì, ta sẽ nhận được một hậu tố (suffix) của S.
Dưới đây là một ví dụ về suffix automaton của chuỗi "acbcbc".