|
|
От
|
kinetic
|
|
|
К
|
Грозный
|
|
|
Дата
|
31.08.2006 00:53:45
|
|
|
Рубрики
|
Политек; Космос;
|
|
Re: [2СанитарЖеня] кибернетику,
>>Что есть любое цифровое устройство? Конечный автомат или совокупность конечных автоматов.
>
>*Любое* цифровое устройство есть совокупность конечных автоматов.
>Утверждение неверное.
Верное, верное. Любое цифровое утсройство есть определённая комбинация элементов логики и памяти. То, что любой из этих элементов есть конечный автомат - тривиально. Отсюда так же тривиально следует выделенное утверждение.
Штука в том, что у "цифрового устройсва" под названием компьютер пространство состояний, входной и выходной алфавиты огромны. Даже для пустячного устройства у которого ВСЯ память (регистры + ОЗУ + внешняя память) занимает один килобайт, число состояний = 2^1000 ~ 10^250, т.е. больше или сравнимо с числом частиц во Вселенной. По этой причине формальной теории удобнее рассматривать такой автомат как машину с бесконечным числом состояний, т.е. как машину Тьюринга.