[BRAutomaton_1.jpg]