Total lineare Realisierbarkeit endlicher Automaten

Summary

Starting out from the research in [1] we prove: If a finite sequential machine a is linearly realizable over a finite field with characteristic 2 and additional over a finite field with characteristic ≠2, then a is linearly realizable over every finite field. Moreover we will see, that a is linearly realizable over every finite field if and only if the extended output function satisfies certain conditions.