|
|
От
|
kinetic
|
|
|
К
|
Грозный
|
|
|
Дата
|
31.08.2006 04:31:31
|
|
|
Рубрики
|
Политек; Космос;
|
|
Re: [2СанитарЖеня] кибернетику,
>>>>Что есть любое цифровое устройство? Конечный автомат или совокупность конечных автоматов.
>>>
>>>*Любое* цифровое устройство есть совокупность конечных автоматов.
>>
>>>Утверждение неверное.
>>
>>Верное, верное. Любое цифровое утсройство есть определённая комбинация элементов логики и памяти. То, что любой из этих элементов есть конечный автомат - тривиально. Отсюда так же тривиально следует выделенное утверждение.
>
>Нет, неверно
С каким из трёх последних предложений Вы несогласны?
> - есть ещё время работы.
Причём тут время? Конечный автомат может рассматриваться на любом промежутке времени, от этого он не перестаёт быть таковым.
> И есть операция "предел" при времени, стремящемся к бесконечности.
Предел чего?
> А любая экспонента очень быстро в таковую превращается и на практике.
Экспонента чего?
> Так что число состояний и переходов у многих алгоритмов
Не надо за алгоритмы. Мы говорим за цифровые устройства.
> В итоге диаграмма переходов в пределе потребует бесконечного времени на отрисовку
Дайте сначала определение "диаграммы переходов" - и определение всем используемым сущностям.
> при том, что сама программа будет вполне конечна (счётное число строк).
Противоречивое утверждение.
> И это даже не учитывая вполне так реального "аппаратного сбоя", что может поставить систему в неопределённое состояние и не учитываться в нормальных системах не имеет права.
Наличие сбоев вполне описывается формалистикой конечных автоматов. Вводятся "сбойные" состояния и расширяется входной алфавит (для "вброса" сбоев), ну и расширяется матрица переходов.
>Отмечу - ограниченность множества данных на входе не постулируется и не лимитируется.
Дайте пример хотя бы одного цифрового устройства с неограниченностью входного алфавита.
> Плюс самомодифицируемость кода тоже никто не отменял. Переход данных в код тоже проблем не представляет. Откуда тогда *конечный автомат*?
Понятие "код" вообще бессмысленно для конечного автомата. При интерпретации компьютера как конечного автомата, весь "код" плюс все "данные" (в том числе в регистрах ЦПУ) суть ОДНА точка в огромном пространстве состояний. При модификации кода (как и при модификации данных, как и при переходе ЦПУ на очередную инструкцию) происходит переход в какую-то другую точку.