|
От
|
А.Погорилый
|
|
К
|
kinetic
|
|
Дата
|
31.08.2006 18:59:53
|
|
Рубрики
|
Политек; Космос;
|
|
Re: [2СанитарЖеня] кибернетику,
>Верное, верное. Любое цифровое утсройство есть определённая комбинация элементов логики и памяти. То, что любой из этих элементов есть конечный автомат - тривиально. Отсюда так же тривиально следует выделенное утверждение.
>Штука в том, что у "цифрового устройсва" под названием компьютер пространство состояний, входной и выходной алфавиты огромны.
Да, конечно. И реализовать его как один конечный автомат - громоздко до нереализуемости.
Но я это привел исключительно к тому, что все, что делается на троичной, пятеричной и т.д. логике - делается и на двоичной. То есть никаких принципиально новых логических возможностей троичная логика в сравнении с двоичной не несет. Все реализуется и на двоичной.