Abstract | ||
---|---|---|
A method for determining multilinear state space models for general finite state automata is presented. The obtained model resides on F2, the finite field of characteristic 2 with the operations addition and multiplication, both carried out modulo 2. It is functionally complete in the sense that it is capable of describing all finite state automata, including non-deterministic and partially defined automata. For those cases in which the model over F2 is linear, means for a complete analysis of the cyclic behavior of these automata are recalled. With respect to these linear models, the cyclic structure of the state space is shown to be determined only by the periods of the elementary divisor polynomials of the system dynamics. An example illustrates the analysis procedure. |
Year | DOI | Venue |
---|---|---|
2004 | 10.1016/j.matcom.2003.11.005 | Mathematics and Computers in Simulation |
Keywords | DocType | Volume |
cyclic behavior,Feedback shift registers,general finite state automaton,complete analysis,finite state automata,Linear modular systems,feedback shift registers,linear model,Finite fields,finite field F2,Finite state automata,finite fields,finite field,analysis procedure,state space,linear modular systems,finite state automaton,multilinear state space model,cyclic structure | Journal | 66 |
Issue | ISSN | Citations |
2-3 | Mathematics and Computers in Simulation | 2 |
PageRank | References | Authors |
0.45 | 1 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Johann Reger | 1 | 40 | 17.29 |
K. Schmidt | 2 | 2 | 0.45 |