Ternärsystem

Das Ternärsystem, 3-adische System, auch Dreiersystem und selten triadisches System genannt, ist ein Stellenwertsystem zur Basis 3. Es kommt in drei Spielarten vor, als gewöhnliches Ternärsystem mit den Ziffern 0, 1 und 2 sowie als balanciertes Ternärsystem mit den Ziffern 0, 1 und −1; von eher theoretischem Interesse ist das negaternäre System mit der negativen Basis −3 und den Ziffern 0, 1 und 2.

Eine ternäre Ziffer wird auch als Trit (in Analogie zum Bit) und entsprechende eine Gruppe aus sechs Trits als Tryte bezeichnet. Im Jahr 1958 wurde in der Sowjetunion der ternäre Computer Setun entwickelt, der mit ternären Zahlen rechnete.^[1]

Eine Zahl wird im gewöhnlichen Ternärsystem durch eine Kombination der Ziffern 0, 1 und 2 dargestellt. Da Verwechslungen mit anderen Zahlendarstellungen, besonders mit dem Dezimalsystem auftreten können, wird eine Ternärzahl durch eine angehängte tiefgestellte 3 gekennzeichnet. Die einer Ternärzahl entsprechende Dezimalzahl kann wie im folgenden Beispiel errechnet werden:

${\displaystyle [112]_{3}=1\cdot 3^{2}+1\cdot 3^{1}+2\cdot 3^{0}=[14]_{10}.}$

Löst man die Potenzen auf, dann sieht die Gleichung so aus:

${\displaystyle [112]_{3}=1\cdot 9+1\cdot 3+2\cdot 1=[14]_{10}.}$

Die entsprechende, allgemeine Formel lautet

${\displaystyle Z=\sum _{i=-n}^{m}z_{i}\cdot 3^{i}}$.

Hierbei ist ${\displaystyle z_{i}}$ die Ternärziffer an der Stelle ${\displaystyle i}$ (also entweder 0, 1 oder 2), ${\displaystyle n}$ die Anzahl der Nachkommastellen und ${\displaystyle m}$ die Nummer der höchsten Stelle. ${\displaystyle Z}$ ist dann das Ergebnis, also der Wert der Ternärzahl. Diese Formel ist das gleiche wie die erste und die zweite lineare Formel im Artikel, nur eben anders dargestellt.

Weitere Beispiele von Zahlen im Ternärsystem und ihrer Entsprechung im Dezimalsystem:

• 12₃ = 5
• 112₃ = 14
• 121₃ = 16

Man kann Zahlen im gewöhnlichen ternären System, wie Zahlen in anderen Stellenwertsystemen auch, zum Verständnis gut in einer Tabelle darstellen. Die Ziffer in einem Feld gibt an, wie oft die Zahl des Spaltennamens gezählt wird. Steht zum Beispiel in einem Feld der Spalte "3" eine "2", so muss man "2∙3" rechnen, bei "1" unter "27" einfach "1∙27". Am Ende zählt man alle Einzelergebnisse der Zwischenrechnungen ("2∙3", "1∙27") zusammen und erhält die dezimale Zahl. Nullen die links der ersten 1 oder 2 stehen (führende Nullen), werden in der üblichen Schreibweise (Spalte zusammengesetzte Ternärzahl) nicht aufgeschrieben.

Eine Zahl im balancierten Ternärsystem^[2] wird durch eine Kombination der Ziffern 0, 1 und −1 dargestellt. Die Ziffer −1 wird in diesem Artikel durch 1 wiedergegeben, eine andere Wiedergabe ist der Buchstabe T, oder auch eine umgestülpte (um 180° gedrehte) Ziffer 1: "1"^[3]. Falls Verwechslungen auftreten können, wird eine balancierte Ternärzahl durch ein angehängtes tiefgestelltes "3bal" gekennzeichnet.

Beispiele für Zahlen im balancierten Ternärsystem und ihrer Entsprechung im Dezimalsystem:

• 111 _3bal = 5
• 110 _3bal = 6

Im balancierten Ternärsystem braucht man kein Vorzeichen. Um zur negativen Zahl überzugehen, vertauscht man alle Ziffern 1 mit 1 und alle Ziffern 1 mit 1.

111_3bal = −5

Das Vorzeichen ${\displaystyle \operatorname {sgn} }$ einer Zahl ist dasjenige ihrer höchstwertigen ternären Ziffer:

${\displaystyle \operatorname {sgn} }$(111_3bal) = 1_3bal = −1_dez.

Auch hier kann man, wie für das gewöhnliche Ternärsystem gezeigt, die entsprechende Dezimalzahl ausrechnen:

110 _3bal = 1·3² + (−1)·3¹ + 0·3⁰ = 1·9 + (−1)·3 + 0·1 = 6_dez.

Genau die Zahlen, die eine ganze Zahl plus 1/2 mal eine Potenz von 3 sind, haben zwei Darstellungen, so z. B.

0,1 _3bal = 1,1 _3bal = 1/2,

dabei bedeutet der Überstrich, dass die Gruppe der Ziffern darunter (die Periode) bis ins Unendliche zu wiederholen ist. Anders als bei den gewöhnlichen Stellenwertsystemen zur Basis ${\displaystyle b}$, bei denen genau die abbrechenden Darstellungen ${\displaystyle \mathbb {Z} b^{\mathbb {Z} }\!\setminus \!\{0\}}$ zwei verschiedene Darstellungen haben, sind es hier die Brüche ${\displaystyle (\mathbb {Z} \pm {\tfrac {1}{2}})3^{\mathbb {Z} }=\mathbb {Z} 3^{\mathbb {Z} }\pm {\tfrac {1}{2}}}$, deren Darstellung allerdings nicht abbricht.

Knuth hebt hervor, dass in balancierten Systemen das Runden und Abschneiden dieselbe Operation mit demselben Ergebnis ist.

Ein auf dem balancierten Ternärsystem und der balancierten ternären Logik aufbauender Computer war der Setun (russisch Сетунь) (s. Einleitung).

Wird im Ternärsystem jede Ziffer als 2 Binärziffern, etwa 0 :=00 1 :=10 und 2 :=01, codiert, dann kann die Kombination 11 als Trennzeichen, als „Komma“, zwischen zwei derart dargestellten nicht-negativen Zahlen verwendet werden. Für die Zahlenfolge ${\displaystyle 1,3,7}$ ergibt sich bspw. die Zeichenkette 1011001011100111. Dabei sind die einzelnen Codewörter variabel lang und little-endian notiert.

Bei einer angenommenen geometrischen Verteilung ${\displaystyle 1/(1+n)^{q}}$ der natürlichen Zahlen ${\displaystyle n\in \mathbb {N} _{0}}$ ist bei diesem ternären Komma-Code ${\displaystyle q=\log _{3}(4)\approx 1{,}26}$.

• Dreiwertige Logik
• Ternärsystem und ternäre Multiplikation

• Donald Knuth: The Art of Computer Programming. 3. Auflage. Band 2. Addison-Wesley, Boston 1998, ISBN 0-201-89684-2, Positional Number Systems, S. 194–213 (englisch). 

• Über den Setun-Computer (auf Englisch)
• Verschiedene Zahlensysteme (Memento vom 4. November 2007 im Internet Archive)

1. ↑ Nikolay Petrovich Brusentsov, José Ramil Alvarez: Ternary Computers: The Setun and the Setun 70. In: J. Impagliazzo, E. Proydakov (Hrsg.): SoRuCom 2006, IFIP AICT 357. IFIP International Federation for Information Processing 2011, S. 74–80 (abgerufen am 9. Mai 2016).
2. ↑ Knuth
3. ↑ N.A.Krinitsky: Programming. Hrsg.: M.R.Shura-Bura. Moscow 1963, Chapter 10. Program-controlled machine Setun (russisch).