Trait automata::Automaton

pub trait Automaton {
    type State;
    type Alphabet;
    fn run(&self, _: Vec<Self::Alphabet>) -> Option<Self::State>;
    fn output_graphviz(&self, filename: &str)
    where
        Self::State: Display,
        Self::Alphabet: Display;
}

Associated Types

type State

type Alphabet

Required Methods

fn run(&self, _: Vec<Self::Alphabet>) -> Option<Self::State>

fn output_graphviz(&self, filename: &str) where
    Self::State: Display,
    Self::Alphabet: Display, 

Implementors

• impl<S, I> Automaton for DFA<S, I> where
    S: Hash + Eq + Copy,
    I: Hash + Eq + Copy, 
• impl<S, I> Automaton for NFA<S, I> where
    S: Hash + Eq + Copy,
    I: Hash + Eq + Copy,