automata stuff + xml