The finite state firing squad (David Karr's solution)

The state set is {-, C, F, K, L, Q, R, S, l, r, s}, the quiescent state is -, the excited state is C, and the firing state is F.

The transition function is listed below, in the form of a sequence of lines, each of which contains the previous state of the machine on the left, our previous state, the previous state of the machine on the right, and our next state, in that order. ? denotes any state. If two lines conflict, use the line which comes first in the sequence. Soldiers at the end should pretend they have a neighbor in state B beyond the end.

? B ? B
B C C F
C C C F
C C B F
B C B F
? C ? C
C ? C C
B - C C
C - B C
C - ? r
? - C l
r - B C
R - B C
B - l C
B - L C
s - L s
R - s s
S - l S
r - S S
r - ? R
R - ? r
? - l L
? - L l
? - r Q
l - ? K
? - Q Q
K - ? K
? s Q Q
s Q ? S
? S Q -
S Q ? s
K s ? K
? K s S
K S ? -
? K S s
? r s C
r s ? C
? R S C
R S ? C
r S ? C
R s ? C
? s l C
s l ? C
? S L C
S L ? C
? S l C
? s L C
? s s C
s s ? C
? S S C
S S ? C
C r ? s
C Q ? s
? l C s
? K C s
? s ? s
? S ? S
? ? ? -

Back to the firing squad solution page

David Moews ( dmoews@fastmail.fm )

Last significant update 20-IX-2004