CS 241 - DFA Description File Format

A .dfa file represents a DFA by describing, in order, the alphabet, the states, the initial state, the final states, and the transitions. The format for each is as follows:

The file mod.dfa contains a description of the following DFA, which recognizes binary integers that have no leading zeroes and are divisible by 3: