Bekijk nog eens het deel van de introductievideo over eindige automaten (vanaf tijdstip 0:40 tot 3:00).
De auteur heeft het onder andere over Finite State Machine, state (starting en final acceptance) en transition.
Introductie video (kijk van 0:40 https://youtu.be/4XEK7OU2gIw
In de toestandsdiagrammen zoals hier worden gebruikt is er altijd precies één begintoestand.
Een eindtoestand is niet verplicht en er mogen ook meerdere eindtoestanden bestaan.
Een overgang wordt ook wel toestandsovergang genoemd.