Automaton Theory And Learning Systems