Ausdrucksmenge/Enthält Beispiele/Definition
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.