Grammatical inference for two classes of formal languages - Martinek, Pavel (Faculty of Informatics, 2000)