for example, one "state diagram entry" tool silently removes duplicated transitions and goes to the state coded "00...00" for missing transitions, without warning the user | Например, одна из программ "ввода диаграмм состояний" молча удаляет повторяющиеся переходы и в случае пропуска переходов указывает переход в состояние с кодовым именем "00 ... 00", не выдавая пользователю предостережений (см. Digital Design: Principles and Practices Third Edition by John F. Wakerly 1999) |