Zum Inhalt springen

Arithmetische Sprache/Term oder nicht Term/Aufgabe

Aus Wikiversity

Wir betrachten die arithmetische Grundtermmenge, die aus den Konstanten 0 und 1, den Variablen xn, n, dem einstelligen Funktionssymbol N und den beiden zweistelligen Funktionssymbolen α und μ besteht. Entscheide, ob die folgenden Wörter über diesem Termalphabet Terme sind oder nicht.

  1. NNNNNNN01,
  2. NNNNNNx1NNNNNNNNNNNx2,
  3. αNNNNNN0NNNNNNNNNNN1,
  4. NNNμNNNμ0NNNNNNNNNNN1,
  5. μαμαμα0101010,
  6. αααNx1Nx2x3x4x3.

Schreibe diejenigen Wörter, die Terme sind, mit Klammern, , + und .