Added an XML file example for automata.