Experiments with nonstationary bilinear finite state machines
Д. В. Сперанский · Automation and Remote Control · 2015
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.