Tekstiviesti: Descriptional complexity of formal systems