Beskrivelsen er angitt etter hvordan formelle språk generelt beskrives. er mengda av strengene over alfabetet og er den tomme strengen.