Links for jlvandenhout-automaton