Desco: a knowledge based system for descriptional complexity of formal languages