Theorie/Erster Stufe/Ableitbar/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Theorie (Sprache erster Stufe)

Es sei ein Symbolalphabet und die zugehörige Sprache erster Stufe. Eine Teilmenge heißt Theorie, wenn abgeschlossen unter der Ableitungsbeziehung ist, d.h. wenn aus für bereits folgt.