Este modelo está formado por un alfabeto de entrada y uno de salida, un símbolo especial llamado blanco (normalmente "b", "formula_1" o "0"), un conjunto de estados finitos y un conjunto de transiciones entre dichos estados.