|
|
От
|
А.Погорилый
|
|
|
К
|
Грозный
|
|
|
Дата
|
30.08.2006 22:26:34
|
|
|
Рубрики
|
Политек; Космос;
|
|
Re: [2СанитарЖеня] кибернетику,
>*Любое* цифровое устройство есть совокупность конечных автоматов.
Да. Любое цифровое (дискретное) устройство с детерминированными выходами может быть реализовано как конечный автомат. Или, например, как машина Тьюринга.
>См. сети Петри, например http://en.wikipedia.org/wiki/Petri_net
>Главная особенность сетей Петри - недетерминированность выходов.
Не имеет отношения к обсуждаемому вопросу. Все существующие цифровые компьютеры - детерминированные. А где не (например, ошибки при чтении с магнитных или оптических носителей) - с этой недетерминированностью борются изо всех сил.
>Самомодифицирующийся код - ещё один пример алгоритмов, в общем случае неописуемых конечными автоматами.
Не верю. При конечном обьеме памяти для кода число состояний остается конечным.
>С практической точки зрения - большинство прикладных программ (не ОС!) описываются конечными автоматами
Речь шла о компьютерном железе. Причем о центральной части, ведущей обработку. С периферией есть свои тонкости из-за ошибок.