Formal Definition
An alternating finite automaton (AFA) is a 6-tuple, where
- is a finite set of existential states. Also commonly represented as .
- is a finite set of universal states. Also commonly represented as .
- is a finite set of input symbols.
- is a set of transition functions to next state .
- is the initial (start) state, such that .
- is a set of accepting (final) states such that .
Read more about this topic: Alternating Finite Automaton
Famous quotes containing the words formal and/or definition:
“On every formal visit a child ought to be of the party, by way of provision for discourse.”
—Jane Austen (1775–1817)
“Was man made stupid to see his own stupidity?
Is God by definition indifferent, beyond us all?
Is the eternal truth man’s fighting soul
Wherein the Beast ravens in its own avidity?”
—Richard Eberhart (b. 1904)
Related Phrases
Related Words