[−][src]Module nifty::make_dfa
Macro make_dfa! creates a DFA using the DFABuilder.
make_dfa!
must takestates{...}
first.make_dfa!
may take any ofstart{...}
,accept{...}
,dead{...}
,goal{...}
in any order.make_dfa!
may take any oftransitions{...}
,recognizes{...}
in any order.
Example
Code
use nifty::make_dfa; let q0 = "Seen { }"; let q1 = "Seen { b }"; let q2 = "Seen { ba }"; let q3 = "Seen { bab }"; let mut dfa = make_dfa! { states { q0, q1, q2, q3 } start { q0 } goal { q3 } transitions { d(q0, 'a') = q0 d(q1, 'a') = q2 d(q2, 'a') = q0 d(q0, 'b') = q1 d(q1, 'b') = q1 d(q2, 'b') = q3 } recognizes { "contains { bab }" } };