Abstract:
For nonstationary bilinear finite state machines over the field $GF(p)$, we prove existence criteria of synchronizing, homing and diagnostic sequences formulated in terms of characteristic matrices of the finite state machines. For synchronizing sequences, we propose a method to construct them.