Trait contained_turing::Turing

pub trait Turing<S: Symbolic>: Translate<S> {
    type Scope: Scope<S>;

    // Required methods
    fn execute(&mut self) -> Result<&Self, Self::Error>;
    fn execute_once(&mut self) -> Result<&Self, Self::Error>;
    fn execute_until(
        &mut self,
        until: impl Fn(&Self::Scope) -> bool
    ) -> Result<&Self, Self::Error>;
}

Turing describes a programmable Turing machine

Required Associated Types

type Scope: Scope<S>

Required Methods

fn execute(&mut self) -> Result<&Self, Self::Error>

Turing::execute

fn execute_once(&mut self) -> Result<&Self, Self::Error>

Turing::execute_once

fn execute_until( &mut self, until: impl Fn(&Self::Scope) -> bool ) -> Result<&Self, Self::Error>

Turing::execute_until

Implementors

impl<S: Symbolic> Turing<S> for Machine<S>

type Scope = Driver<S>