Added a bit of parser 'security' in parseAutomaton() however it is not
really working out just yet.