Title: Sinteza automatelor finite
Subjects: Sequential machine theory