Question: How do they get the formal languages?
Answer: These are well-known formal languages some of which was used in the literature to evaluate the learning capabilities of RNNs.