Galleries showing model:"devorah automata"