El problema se conoce como problema de sincronización del escuadrón de fusilamiento . El problema en sí mismo está estrictamente relacionado con los autómatas de estado finito.. Aquí, cada soldado es un autómata finito; sabes que el siguiente estado de cada soldado depende de su estado actual y de los estados actuales de sus dos vecinos (excepto el primero y el último soldado). El primer soldado en este entorno puede considerarse como el general de soldados que está a cargo de comenzar el ataque. El último soldado sabe que es el último. No hay comunicación global disponible; sin embargo, se puede usar un reloj global para sincronizar las transiciones de estado de los soldados. El problema requiere el diseño de un autómata soldado cuyo objetivo es que todos los soldados entren en el estado "DISPARO" exactamente en el mismo tic del reloj. Por cierto, el problema se puede resolver en tiempo para n soldados.Θ ( n )norte