Text this: Constructing the Maximum Prefix-Closed Subset for a Set of –ω-Words Defined by a –ω-Regular Expression.