A ternary computer, also called trinary computer, is one that uses ternary logic (i.e., base 3) instead of the more common binary system (i.e., base 2) in its calculations. Ternary computers use trits, instead of binary bits.
Types of states Ternary computing deals with three discrete states, but the ternary digits themselves can be defined differently:
Ternary computing is commonly implemented in terms of balanced ternary, which uses the three digits −1, 0, and +1. The negative value of any balanced ternary digit can be obtained by replacing every + with a − and vice versa. It is easy to subtract a number by inverting the + and − digits and then using normal addition. Balanced ternary can express negative values as easily as positive ones, without the need for a leading negative sign as with unbalanced numbers. These advantages make some calculations more efficient in ternary than binary. Considering that digit signs are mandatory, and nonzero digits are magnitude 1 only, notation that drops the 1s and use only 0 and the + and − signs is more concise than if 1s are included. Ternary computing can be implemented in terms of unbalanced ternary, which uses the three digits 0, 1, 2. The original 0 and 1 are explained as an ordinary binary computer, but instead uses 2 as leakage current. The world's first unbalanced ternary semiconductor design on a large wafer was implemented by the research team led by Kim Kyung-rok at Ulsan National Institute of Science and Technology in South Korea, which will help development of low power and high computing microchips in the future. This research theme was selected as one of the future projects funded by Samsung in 2017, published on July 15, 2019.
History I often reflect that had the Ternary instead of the denary Notation been adopted in the Infancy of Society, machines something like the present would long ere this have been common, as the transition from mental to mechanical calculation would have been so very obvious and simple. One early calculating machine, built entirely from wood by Thomas Fowler in 1840, operated in balanced ternary. The first modern, electronic ternary computer, Setun, was built in 1958 in the Soviet Union at the Moscow State University by Nikolay Brusentsov, and it had notable advantages over the binary computers that eventually replaced it, such as lower electricity consumption and lower production cost. In 1970 Brusentsov built an enhanced version of the computer, which he called Setun-70. In the United States, the ternary computing emulator Ternac working on a binary machine was developed in 1973. The ternary computer QTC-1 was developed in Canada.
Comparison to binary computing Balanced ternary systems and ternary computers are not unprecedented in history. Thomas Fowler built a mechanical computer in 1840 using balanced ternary system. The balanced ternary representation of numbers and its related arithmetics was applied in number theory back to Leonhard Euler and was briefly discussed by Claude Shannon in his paper "A Symmetrical Notation for Numbers" published in 1950. Despite the ternary design never becoming massively produced, there have been discussions on the advantages of the ternary system over the binary system, and great interest was present on the ternary and more generally on the multi-valued logic systems in the academy.
Advantages While developing the Setun ternary computer, Nikolay Brusentsov found the ternary number system superior to the binary number system: it allowed him to create very simple and reliable elements, and he needed only one-seventh as many elements as Lev Gutenmakher's binary computers. The power source requirements were also significantly reduced because fewer magnetic rods and diodes were used. He also found the natural number-coding system used in the ternary system superior over the direct, reciprocal and supplementary number coding used in the binary system. He maintained that the ternary system is superior to binary in most aspects and published several papers advocating the ternary system from 1985 to 2014. The symmetric nature of balanced ternary logic allows for natural representation of negative numbers. The ternary system is also more efficient from an information theory perspective. Donald Knuth wrote in his book The art of Computer Programming that "Perhaps the symmetric properties and simple arithmetic of this number system will prove to be quite important some day," noting that,
The complexity of arithmetic circuitry for balanced ternary arithmetic is not much greater than it is for the binary system, and a given number requires only log 3 2 ≈ 63 % {\displaystyle \log _{3}2\approx 63\%} as many digit positions for its representation." In the paper The Prospects for Multivalued Logic: A Technology and Applications View, Kenneth C. Smith argued that multi-valued logic is a solution to the interconnection problem in digital systems. In particular, Douglas W. Jones suggests that the ternary system will reduce the number of interconnection wires by 36%
Disadvantages Douglas W. Jones made a series of computations and design algorithms of ternary system on his homepage under the name The Ternary Manifesto, including fast ternary addition, multiplication, and division. It turns out that much of the improved efficiency in the interconnection and digit representation is balanced out by requiring more gates in the computations. For example, the ternary addition, while achieving the same computational speed as binary addition, requires 62% more logic. Meanwhile, many have suggested that ternary circuits are hard to develop, especially when most modern digital flows are binary. In the paper Comparison of Binary and Multivalued ICs According to VLSI Criteria written by Daniel Etiemble & Michel Israël, the authors compared binary and multivalued integrated circuits by examining their performance in detail, and discovered that while the design of multivalued circuits are valid and useful, they have not surpassed the binary circuits. They wrote in the conclusion that
Multi-valued circuits and two-valued circuits must not be seen as competitors. If they are seen as such, then two-valued circuits have already won.
… excerpt ends here. Continue reading the full article.
