De moastn Sochan wern mit Finite-State-Machines (FSM) mit vaschiedn Konzepen (Beispui: Moore- oda Mealy-Automat) bschriebm, sofern a State-Maschine nedig is. Oafochere Sochan kenna aa iba logische Gleichunga definiat wern.