regular language subsequence