Inferenz-Systeme (Beispiel 3)

• Grundbereich: endliche Folgen von ganzen Zahlen
• Axiome: jede konstante Folge (Bsp. [3, 3, 3, 3] mathend000#)
• Schlußregeln:
  • swap_k mathend000#: $${\frac{{[\ldots,x_k,x_{k+1},\ldots]}}{{[\ldots,x_{k+1}+1,x_k-1,\ldots]}}}$$ mathend000#
  • rotate: $${\frac{{[x_1,\ldots,x_n]}}{{[x_2,\ldots,x_n,x_1]}}}$$ mathend000#

Aufgaben: • mathend000# Ableitungen für [5, 3, 1, 3],[7, 7, 1] mathend000#

• jede Folge der Form [z, 0,…, 0] mathend000# ist ableitbar
• Invarianten, [5, 3, 3] mathend000# ist nicht ableitbar

praktische Realisierung: http://www.siteswap.org/ und HTWK-Hochschulsport