Конечный автомат имеет «k» равно «m + n» состояний: из них «m» — разрешенные состояния, «n» — запрещенные состояния. Для «m" — состояний пишется инструкция по эксплуатации. Просто, понятно, кратко, с красивыми картинками — это маркетинг. А для «n» — инструкция по ремонту. Пишется сложно и непонятно, с ошибками и опечатками, по отдельному договору. За деньги.