|
|
От
|
Грозный
|
|
|
К
|
kinetic
|
|
|
Дата
|
31.08.2006 14:15:05
|
|
|
Рубрики
|
Политек; Космос;
|
|
Re: [2СанитарЖеня] кибернетику,
>>>>>Что есть любое цифровое устройство? Конечный автомат или совокупность конечных автоматов.
>>>>
>>>>*Любое* цифровое устройство есть совокупность конечных автоматов.
>>>
>>>>Утверждение неверное.
>>>
Фух, что-то меня унесло в сторону алгоритмов, исполняемых на машине от собственно конструкции машины, извиняюсь. Да и вообще, уже оффтопом пахнет. Предлагаю завязать дискуссию.
Т.е. если придираться по мелочам, то можно придумать железную чуда-машину, которая реализует простую ОРФ или недетерминистскую Сеть Петри. Пользы от ней никакой не предвидится, в силу её чудесатости. Да и от дальнейшего спора тоже. Завяжем на этом. Вы правы с практической точки зрения - практическое *железо* описывается КА и точка. С программами ещё есть небольшой резон поизвращаться, с железом - пока нету.
Несколько мелких замечаний:
>Дайте пример хотя бы одного цифрового устройства с неограниченностью входного алфавита.
На входе - термометр. Потом АЦП. Микрофлуктуации броуновского движения будем мерять, например. Последовательность случайна (если вы только не сосчитали импульсы и скорости всех атомов во Вселенной). Будет или нет след. показание АЦП считаться всё этой же буквой алфавита или нет будем определять по другому термометру. Любая другая термодинамическая величина - давление, например, или скорость ветра, влажность - тож сойдёт. Подобного типа дивайсы используют и в банках и в физике для счёта методом Монте-Карло, например - гугл hardware random generator (вот например - http://www.ciphersbyritter.com/RES/NOISE.HTM ).
А данные эти будем интерпретировать не просто как пассивные данные, а как команды (самомодифицируемость кода). В ПЛМ-ки будем их зажигать по ходу своей же работы. Обобщённая Рекурсивная Ф-ция в железе получится.
>Наличие сбоев вполне описывается формалистикой конечных автоматов. Вводятся "сбойные" состояния и расширяется входной алфавит (для "вброса" сбоев), ну и расширяется матрица переходов.
Нет, не описывается - только в приближении. Начнём с того, что система со сбоем недетерминирована по времени. Т.е. по оси времени её двигать нельзя. КА - можно. А "расширение матрицы сознания машины" закончится той самой бесконечностью переходов, обрывать которую оператору придётся рубильником "вкл/выкл" в пропущенных матрицей случаях. Опять-таки, только для неограниченного по времени ввода.
>Понятие "код" вообще бессмысленно для конечного автомата.
Да с чего бы это? Код описывает переходы между состояниями. Размер кода пропорционален количеству переходов. Если случайные данные со входа переводятся в программу и исполняются как код, то вся входная последовательность становится программой. При неограниченности размера входной последовательности размер кода неограничен, отсюда с очевидностью следует, что число переходов (да и самих состояний - оно ведь в память целиком влазить не обязано, мы состояние можем считать/хранить по частям) растёт как ф-ция времени, которое неограничено, значит число переходов тоже неограничено и бесконечно растёт в пределе по времени, стремящемся к бесконечности, значит КА перестаёт быть КОНЕЧНЫМ по определению - число переходов бесконечно... Ну неохота дальше писать - полистайте А.П.Ершова, Кнута, про ОРФ - другого Ершова, Ю.Л. , там всё это есть, если интересно. Подобным же образом и число состояний алгоритма чуть более другого класса тоже уходит в бесконечность - опять-таки, в литературе имеется.