SMS dit: Formal language description languages