https://erdorin.org/between-the-buried-and-me-automata-i-ii/
Between the Buried and Me: Automata (I & II)