pub trait Directive<Q, S>where
Q: RawState,{
// Required methods
fn direction(&self) -> Direction;
fn next_state(&self) -> &State<Q>;
fn next_symbol(&self) -> &S;
}Expand description
Directive is a trait describing the tail of a typical Turing machine;