section_heading: Usmjereni graf
paragraph_text: Stanja Q: konačan skup vrhova obično predstavljenih krugovima i označenih (labeliranih) s jedinstvenim simbolom oznake ili riječima napisanim unutar njih. (Booth (1967) p.&nbsp;69, Hopcroft i Ullman (1979) p.&nbsp;16, Sipser (2006) p.&nbsp;34).