Би-бесконечный вычислительный автомат

На основе свойства экстравертности построен и рассмотрен абстрактный автомат, осуществляющий умножение на $3_{(4)}$ в четверичной системе счисления; помимо этого, он вычисляет бесконечное число родственных операций. Умножитель на $3_{(4)}$ взят для примера из-за его простоты. Устройство бесконечно, отчего оно является, в первую очередь, объектом теоретического исследования. Тем не менее оно имеет и практическую ценность, поскольку с его помощью обнаруживаются возможности реальных вычислительных процессов. В частности, решается вопрос о максимально быстрых вычислениях. Устройство по своей конструкции необычно, т.к. представляет собой Т-образный крест двух бесконечностей: бесконечности по состояниям («горизонтальная» бесконечность) и бесконечности по входному алфавиту («вертикальная» бесконечность), откуда и проистекает название: би-бесконечный. Аналогичные би-бесконечные устройства порождаются многими другими важнейшими вычислительными устройствами. Поэтому переход к би-бесконечности позволяет осуществить углубленное проникновение в суть вычислительных процессов. Конечные срезы всех би-бесконечных устройств реализуемы в В-технологии.