Succint Representation of Regular Languages by Boolean Automata