blog/automata/00-intro.md