Yuji Takada Learning Formal Languages Based on Control Sets. 316-339 1995 conf/gosler/1995 GOSLER Final Report db/conf/gosler/gosler1995.html#Takada95