typefun::turing_machine

Trait Configuration

pub trait Configuration {
    type Tape: TapeT;
    type State: State;
}

Expand description

A configuration of a Turing machine.

Required Associated Types§

type Tape: TapeT

type State: State

Implementors§

impl<Left: BoolList, Head: Bool, Right: BoolList> Configuration for HaltConfiguration<Left, Head, Right>

type Tape = Tape<Left, Head, Right>

type State = Halt

impl<Left: BoolList, Head: Bool, Right: BoolList, State: NonHaltState> Configuration for NonHaltConfiguration<Left, Head, Right, State>

type Tape = Tape<Left, Head, Right>

type State = State