Văn bản này: Descriptional complexity of formal systems