DesCo: a Web-base Knowledge System for Descriptional Complexity of Formal Languages - Davide Pereira Nabais (2013)