The singleton empty-word language

The language containing exactly the empty word [].

def emptyWordLanguage (T : Type) : Language T

The language containing exactly the empty word.

Equations

• emptyWordLanguage T = {[]}