Adding automata to source docs