Automata Knowledge Base