Assertion: chart's form | /r/HasProperty | directed graph
Facets:
value: with the following elements
type: OTHER
Source sentences:
text: A classic form of state diagram for a finite automaton (FA) is a directed graph with the following elements (Q, Σ, Z, δ, q 0 , F):