Ausdrucksmenge/Enthält Beispiele/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Ausdrucksmenge enthält Beispiele

Man sagt, dass eine Menge an -Ausdrücken (über einem Symbolalphabet ) Beispiele enthält, wenn es für jeden Ausdruck der Form einen -Term derart gibt, dass

zu gehört.