Struct TuringMachine 

pub struct TuringMachine {
    pub initial_state: String,
    /* private fields */
}

Fields

initial_state: String

Implementations

impl TuringMachine

pub fn make( &mut self, syntax: &Program, start: &String, visited: &mut HashSet<String>, ) -> Result<(), String>

pub fn add_component( &mut self, prefix: String, component: &String, automata: &HashMap<String, AutomatonType>, visited: &mut HashSet<String>, ) -> Result<(), String>

pub fn add_state(&mut self, state_type: &StateType, prefix: String)

pub fn add_transition( &mut self, from: String, read_symbol: char, new_state: &String, write_symbol: char, move_symbol: Move, prefix: String, )

pub fn validate(&mut self) -> Result<(), String>

pub fn get_transition( &self, state: &String, read_symbol: char, ) -> (String, char, Move)

pub fn check_final(&self, tstate: &TuringState) -> Option<RunResult>

pub fn start(&self, config: &Config) -> RunResult

pub fn run(&self, tstate: &mut TuringState, config: &Config) -> RunResult

Trait Implementations

impl Debug for TuringMachine

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for TuringMachine

fn default() -> Self

Returns the “default value” for a type.