Das Kefk Network Wiki befindet sich im Testbetrieb.

---

Aus Kefk.

Unter einem Erzeugungssystem (nicht: Erzeugendensystem) versteht man in der Mathematik ein formales System, das aus einer Ausgangsmenge und einer oder mehreren Erzeugungsregeln besteht. Die Elemente der Ausgangsmenge bezeichnet man auch als Axiome. Durch die Anwendung der Erzeugungsregeln lassen sich aus der Ausgangsmenge neue Elemente gewinnen, welche zur Ausgangsmenge hinzugefügt werden. Auf diese erweiterte Menge können die Regeln abermals angewandt werden. Dieser Prozess wird iterativ so lange wiederholt, bis eine gewünschte Menge, das Erzeugnis, abgeleitet wurde.

Erzeugungssysteme dienen in sehr verschiedenen Zusammenhängen der konstruktiven Definition von Mengen. Bei diesen Mengen kann es sich etwa um Zahlenbereiche, Bäume, Terme, Formeln oder Sprachen handeln. Ein einfaches Beispiel zeigt, wie die Menge der natürlichen Zahlen mittels eines Erzeugungssystems konstruiert werden kann:

• Die Ausgangsmenge A sei
• Erzeugungsregel: Aus jedem x darf x + 1 erzeugt und der Ausgangsmenge hinzugefügt werden.

Ein weiteres bekanntes Beispiel für Erzeugungssysteme bilden die formalen Grammatiken der Chomsky-Hierarchie - die Erzeugnisse sind in diesem Fall formale Sprachen. Weiterhin bilden logische Kalküle eine wichtige Klasse von Erzeugungssystemen, die man auch als Beweissysteme bezeichnet. Aufgrund ihres konstruktiven und damit anwendungsnahen Charakters spielen unterschiedliche Erzeugungssysteme eine bedeutsame Rolle in der Informatik.

Dieses Dokument entstammt in seiner ersten oder einer späteren Version der deutschsprachigen Wikipedia. Es ist dort zu finden unter dem Stichwort Erzeugungssystem, die Liste der bisherigen Autoren befindet sich in der Versionsliste; die Originalfassung kann dort auch bearbeitet werden. Alle Texte der Wikipedia und ihre Derivate stehen unter der GNU-Lizenz für freie Dokumentation.