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