О кодировании состояний конечного автомата

Выводится нижняя оценка числа внутренних элементов (элементов памяти) автомата $n$ при условии, что автомат устойчив к критическим состояниям и к повреждениям его внутренних элементов. Дается простой способ кодирования внутренних состояний автомата, позволяющий в ряде случаев достичь этой нижней границы. Для остальных случаев приводится алгоритм кодирования внутренних состояний автомата, в которых хотя $n$ и достигает минимального значения, все же перебор занимает не последнее место.