% DFA [Example 14.1, Automata and Computability]

% lines starting with a % are COMMENTS
% lines consisting of all whitespace are ignored

% a LIST is a (space or tab or comma)-separated line of strings

% ALPHABET LINE: starts with an &, followed by list of letters

% TRANSITION TABLE: starts with an &, followed by letters of alphabet
%   > denotes start state, F denotes final state
%   each line is >? F? <state> <list of next states, ordered as alphabet>

&  a b
>0 1 2
F1 3 4
F2 4 3
3  5 5
4  5 5
F5 5 5