3 ms·

This is basically a course study in formal languages. What is more fascinating is that you arrived at the same abstraction independently.