https://easyexamnotes.com/notations-for-dfa/