A learning algorithm for elementary formal systems and its experiments on identification of transmembrane domains