Available automata