Finishing automaton expression validation.
Finishing expression validation