Category: Logic and abstract automata