https://poorlydefinedbehaviour.github.io/posts/formal_languages_alphabet_strings_and_languages/
Notes on formal languages: alphabets, strings and languages