Գրեք սա: Descriptional complexity of formal systems