Local Languages, the Succesor Method, and a Step Towards a General Methodology for the Inference of Regular Grammars | IEEE Journals & Magazine | IEEE Xplore