Automata  1.0
Public Member Functions | Properties | List of all members
System.Automata.MultitapeTuringMachine Class Reference
Inheritance diagram for System.Automata.MultitapeTuringMachine:
System.Automata.TuringMachine System.Automata.Automaton

Public Member Functions

 MultitapeTuringMachine (States q, Alphabet a, TapeAlphabet g, MultitapeTuringTransitionFunction tf, State q0, int k=1)
 
new bool Run (string x)
 
new bool Run (string x, out char[] o)
 
new bool Run (IEnumerable< char > x)
 Run the machine More...
 
new bool Run (IEnumerable< char > x, out char[] o)
 
- Public Member Functions inherited from System.Automata.TuringMachine
 TuringMachine (States q, Alphabet a, TapeAlphabet g, TuringTransitionFunction tf, State q0)
 
bool Run (IEnumerable< char > x, out char[] o)
 Run the machine More...
 
bool Run (IEnumerable< char > x)
 
bool Run (string x, out char[] o)
 
bool Run (string x)
 

Properties

new MultitapeTuringTransitionFunction Transitions [get]
 
int Tapes [get]
 The number of tapes More...
 
- Properties inherited from System.Automata.TuringMachine
TapeAlphabet TapeAlphabet [get, protected set]
 The tape alphabet. More...
 
new TuringTransitionFunction Transitions [get]
 
- Properties inherited from System.Automata.Automaton
States States [get, protected set]
 The set of states. More...
 
AcceptingStates AcceptingStates [get, protected set]
 The set of accepting states. More...
 
Alphabet Alphabet [get, protected set]
 The machine's alphabet. More...
 
State InitialState [get, protected set]
 The initial state. More...
 
TransitionFunction Transitions [get, protected set]
 The state transition mappings More...
 

Additional Inherited Members

- Public Types inherited from System.Automata.TuringMachine
enum  Direction { Direction.L, Direction.R, Direction.S }
 The direction to move the tape More...
 
- Static Public Member Functions inherited from System.Automata.TuringMachine
static string BinEncode (int x)
 
static string BinEncode (char x)
 
static string BinEncode (char[] x)
 
static string BinEncode (string x)
 
static string UnaryEncode (uint n)
 
static string BinEncode (TuringMachine t, char[] x=null)
 Encode a turing machine More...
 
static string BinEncode (TuringTransition t, States s)
 Encode a turing machine move More...
 
- Static Public Attributes inherited from System.Automata.TuringMachine
static new readonly AcceptingStates AcceptingStates = new AcceptingStates(State.Ha)
 
- Protected Member Functions inherited from System.Automata.TuringMachine
int MoveTapeHead (int i, Direction d)
 

Member Function Documentation

◆ Run()

new bool System.Automata.MultitapeTuringMachine.Run ( IEnumerable< char >  x)

Run the machine

Parameters
xThe input to run the machine on.
Returns
True if the machine halts in the accept state.

The first move the machine makes is to fill the first tape (tape 0) with the blank symbol followed by the input.

Property Documentation

◆ Tapes

int System.Automata.MultitapeTuringMachine.Tapes
get

The number of tapes

◆ Transitions

new MultitapeTuringTransitionFunction System.Automata.MultitapeTuringMachine.Transitions
get


The documentation for this class was generated from the following file: