CYCLE ANALYSIS FOR DETERMINISTIC FINITE STATE AUTOMATA
Johann Reger
Lehrstuhl für Regelungstechnik, Universität Erlangen-Nürnberg Cauerstraβe 7, D91058 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

|