Ein "Zustandsautomat"¹ ist ein abstraktes Modell, das sowohl ein Stück
Hardware als auch ein Stück Software beschreiben kann. Es wäre deswegen
wichtig zu wissen, wo bzw.in welchem Zusammenhang du den Begriff
aufgeschnappt hast.
Wie schon geschrieben wurde, wird in der Digitaltechnik das Adjektiv
"asynchron" meist im Zusammenhang mit Schaltungen verwendet, die nicht
zentral getaktet sind.
Eine andere (eher aus dem Theorie-/Softwarebereich kommende) Definiton
für einen asynchronen endlichen Automaten findest du hier:
http://archive.numdam.org/article/ITA_1987__21_2_99_0.pdf
Ich bin mir aber nicht sicher, ob es das ist, wonach du suchst ;-)
———————————
¹) Der Begriff "Zustandsautomat" ist ein Pleonasmus, denn ein Automat
hat immer einen Zustand. Besser: "Automat" oder – wenn er nur endlich
viele Zustände hat – "endlicher Automat" oder auf Englisch "finite
state machine".