Une machine à états finis spécifiquement avec une lecture seule en entrée et une sortie en écriture seule. D'entrée et de sortie ne peuvent être relus ou changés.