Title: Trace languages and closure operations
Subjects: Formal languages