Zum Inhalt springen

Sprache erster Stufe/Symbolaufzählung/Ausdrücke/Registeraufzählbar/Aufgabe

Aus Wikiversity

Es sei S ein Symbolalphabet mit einer R-Aufzählung der in S vorkommenden Variablen, Konstanten, Funktionssymbole und Relationssymbole. Zeige, dass es auch eine R-Aufzählung der S-Ausdrücke gibt.