https://jennicascorner.blogspot.com/2021/08/automata-and-computation-automata.html