Expand description
Automaton implementations for finite state transducers.
This module defines a trait, Automaton
, with several implementations
including, but not limited to, union, intersection and complement.
Structs§
- Always
Match - An automaton that always matches.
- Complement
- An automaton that matches exactly when the automaton it wraps does not.
- Complement
State - The
Automaton
state forComplement<A>
. - Intersection
- An automaton that matches when both of its component automata match.
- Intersection
State - The
Automaton
state forIntersection<A, B>
. - Starts
With - An automaton that matches a string that begins with something that the wrapped automaton matches.
- Starts
With State - The
Automaton
state forStartsWith<A>
. - Subsequence
- An automaton that matches if the input contains a specific subsequence.
- Union
- An automaton that matches when one of its component automata match.
- Union
State - The
Automaton
state forUnion<A, B>
.
Traits§
- Automaton
- Automaton describes types that behave as a finite automaton.