A New Algorithm of Constructing the Basis Finite Automaton. - Boris Melnikov; Alexandra Melnikova (Informatica, 2002)