Голосование нечётных: как симметрическая разность ускоряет автоматы
В зале суда — строка, поданная на вход. Двенадцать присяжных (вычислительных путей) изучают её символ за символом. Каждый может вынести «виновен» (принять) или «невиновен». Для обычного недетерминированного автомата (НКА) достаточно одного голоса «за». Но в суде с симметрической разностью (XNFA) вердикт выносится по нечётности: если число голосов «виновен» нечётно — слово принято.