15th Triennial World Congress of the International Federation of Automatic Control
  Barcelona, 21–26 July 2002 
CYCLE ANALYSIS FOR DETERMINISTIC FINITE STATE AUTOMATA
Johann Reger
Lehrstuhl für Regelungstechnik, Universität Erlangen-Nürnberg
Cauerstraβe 7, D–91058 Erlangen, Germany
fax: +49(0)9131/85-28715
e-mail: johann.reger@rzmail.uni-erlangen.de

A method for the determination of all cycles of deterministic finite state automata is presented. Using a finite field description GF(2) these automata are shown to correspond to multilinear state equations. Basic results from feedback shift register theory are recalled and developed towards a complete analysis tool for affine-linear automata. The multilinear case is reduced to the affine-linear case by application of a linearizing constant state feedback and a linear state space embedding. Some brief examples illustrate the basic ideas.
Keywords: Discrete event systems, finite automata, finite fields, shift registers
Session slot T-We-M21: Posters of Modelling, Identification and Discrete Systems/Area code 3c : Discrete Event Dynamic Systems