ВходНаше всё Теги codebook 无线电组件 Поиск Опросы Закон Суббота
23 ноября
О смысле всего сущего0xFF Средства и методы разработки Мобильная и беспроводная связь Блошиный рынокОбъявления
МикроконтроллерыPLD, FPGA, DSP AVRPICARM, RISC-VТехнологии Кибернетика, автоматика, протоколы Схемы, платы, компоненты
324448 Топик полностью
Скрипач, пророк (20.04.2012 19:59, просмотров: 133) ответил bialix на аргументируйте ответ.
... и приведите доказательство аксиомы :) Если состояния автомата явно выражены (например, в виде ветвей "case") то: 1) Добавлять новые состояния легче. 2) Их формальную верификацию проводить легче. 3) Гарантировать отсутствие побочных эффектов легче. 4) Читабельность выше.
... но не любой ценой.
Ответить