AUTOMATS

Definition of AUTOMATS