AbstractThe sets of real numbers which can be recognized by certain finite state automata are (Lebesgue) measurable. A necessary and sufficient condition for such sets to have measure 0 is that from each state of the recognizer a failure state can be reached.