এই পাঠটি: Descriptional complexity of formal systems