contributor automata (incomplete)