Creating doc and developing automaton description