Votación impar: cómo la diferencia simétrica acelera los autómatas
En la sala del tribunal se presenta la cadena de entrada. Doce jurados (caminos computacionales) la examinan símbolo a símbolo. Cada uno puede declarar «culpable» (aceptar) o «inocente». Para el autómata no determinista (NFA) basta con un voto a favor.