Полностью разделяющие системы

Вводится определение двоичных кодов, которые являются избыточными полностью разделяющими системами, с целью их применения для противогоночного и одновременно помехоустойчивого кодирования состояний асинхронных дискретных автоматов. Найдены границы параметров этих кодов. Строятся каскадные коды с указанными выше свойствами на основе кодов Рида–Соломона. Показано, что требование помехоустойчивости не противоречит свойству монотонности логических функций комбинационного блока автомата, которое имеет место при кодировании состояний полностью разделяющими системами, не являющимися избыточными.