|
Automata
1.0
|
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) |
| new bool System.Automata.MultitapeTuringMachine.Run | ( | IEnumerable< char > | x | ) |
Run the machine
| x | The input to run the machine on. |
The first move the machine makes is to fill the first tape (tape 0) with the blank symbol followed by the input.
|
get |
The number of tapes
|
get |
1.8.14