Il est surtout très adapté pour le codage d'une machine à états finis, et a le bon goût de garantir un déterminisme évident et lisible.