def/concept - for real world things
def/concept Eine kf Grammatik GGG ist gegeben durch sr
def/concept ein (D)EA besteht aus: sr
def/concept
def/concept (induktiv) Sprache ist regulär :⇔:\Leftrightarrow:⇔ sr f