added docs to formula and automaton headers