Iskan Der пишет:Бывает софт почти безглючный (в интернетах гуляла статья одного товарища, что пишет ПО для спейсшаттлов)
И где теперь все эти спейсшаттлы?!!
Но это лирика.
Попробую уточнить:
возьмём относительную простоту алгоритма работы стиральной машины,
и перенесём её на гораздо более сложный объект:
суть мы имеем корректно формализованный набор правил вида "сигнал извне - реакция системы".
Причём и нажатие на кнопку на пульте оператора, и показания датчика контроля технологического процесса,
и сигналы системы безопасности персонала - все они равноправные игроки, и для каждого из них известны "правила поведения".
Только вот они - взаимозависимы.
И если таковых - больше сотни, то чисто эмпирически, на основе здравого смысла -
вы не сумеете упорядочить их так, чтобы реакция системы была уместна для данной конкретной совокупности обстоятельств.
А теперь назовите математический формализм, пригодный для автоматизации данной задачи?
То есть ОСь тут уже просто ни при чём.
А формализма такого на сегодняшний день - нету
,
и потому любая задача чуть сложнее чем два прихлопа, три притопа -
не имеет абсолютно надёжного решения.
Та же проблема, а именно - учёт контекста - наглядно видна во всех без исключения системах машинного перевода
с одного естественного языка на другой.
Ещё раз - основная проблема - учёт контекста. Мат. формализм для этого на сегодня - отсутствует, нету его.
Давно уже не забавно наблюдать торжество отрицательного отбора.