th order if the knowledge of the last
outputs suffices to determine the state of the automaton at one time during the last
outputs (including the initial and the final states). In an analogous manner synchronizability of
th order is defined for variable length codes. The paper describes a test for synchronizability on a more general model, the coding graphs, and shows that finite automata and variable length codes are special cases of it.