Economy of description by automata, grammars, and formal systems | IEEE Conference Publication | IEEE Xplore