От Грозный Ответить на сообщение
К А.Погорилый Ответить по почте
Дата 30.08.2006 22:08:05 Найти в дереве
Рубрики Политек; Космос; Версия для печати

Re: [2СанитарЖеня] кибернетику,

>Что есть любое цифровое устройство? Конечный автомат или совокупность конечных автоматов.

*Любое* цифровое устройство есть совокупность конечных автоматов.

Утверждение неверное. Конечные автоматы описывают весьма узкий класс алгоритмов, которые можно реализовать на машинах Фон Неймана. А уж если построить не-неймановскую машину (нафига? - это другой вопрос)...

См. сети Петри, например http://en.wikipedia.org/wiki/Petri_net
Главная особенность сетей Петри - недетерминированность выходов.

Самомодифицирующийся код - ещё один пример алгоритмов, в общем случае неописуемых конечными автоматами.

С практической точки зрения - большинство прикладных программ (не ОС!) описываются конечными автоматами