Class WriteFirstTuringMachine

A object for simulate the turing machine, but the machine will write symbol before read the tape.

Implements

ComputationSystem

Index

Constructors

constructor

new WriteFirstTuringMachine(blank, ruleset, acceptState?): WriteFirstTuringMachine
Initialize machine with given arguments.
Parameters
- blank: TMSymbol
  A blank symbol. Both ends of the tape are (conceptually) initialized by an infinite sequence of this symbol.
- ruleset: WriteFirstTMRuleSet
  Rules that determine how the head of the machine moves.
- acceptState: null | TMState = null
  State of the machine when the word is accepted.
Returns WriteFirstTuringMachine
Remark
initState is set at ().
- Defined in write-first-turing-machine.ts:304

Properties

`Private` `Readonly` acceptState

acceptState: null | TMState

`Private` `Readonly` blank

blank: TMSymbol

`Private` halt

halt: boolean = false

`Private` headPosition

headPosition: number = 0

`Private` initState

initState: null | TMState = null

`Private` initialWord

initialWord: null | TMSymbol[] = null

`Private` nowState

nowState: null | TMState = null

`Private` `Readonly` ruleset

ruleset: WriteFirstTMRuleSet

`Private` tape

tape: null | TMTape = null

Methods

asTuple

asTuple(): {
    acceptState: null | TMState;
    blankSymbol: TMSymbol;
    inputSymbolSet: Set<TMSymbol>;
    ruleset: WriteFirstTMRuleSet;
    stateSet: Set<TMState>;
    symbolSet: Set<TMSymbol>;
}
Returns a tuple representation of this machine.

Returns {
    acceptState: null | TMState;
    blankSymbol: TMSymbol;
    inputSymbolSet: Set<TMSymbol>;
    ruleset: WriteFirstTMRuleSet;
    stateSet: Set<TMState>;
    symbolSet: Set<TMSymbol>;
}
a tuple representation of this machine.
- acceptState: null | TMState
- blankSymbol: TMSymbol
- inputSymbolSet: Set<TMSymbol>
- ruleset: WriteFirstTMRuleSet
- stateSet: Set<TMState>
- symbolSet: Set<TMSymbol>
Remarks
A Turing machine is represented as follows:
- stateSet - List of all states this machine uses.
- symbolSet - List of all symbols this machine uses.
- blankSymbol - A blank symbol.
- inputSymbolSet - List of all symbols that can be used for words processed by this machine. (In this implementation, it is exactly the same as symbolSet.)
- initState - The state of this machine when it starts.
- acceptState - The state when this machine accepts a word.
Implementation of ComputationSystem.asTuple
- Defined in write-first-turing-machine.ts:442

clone

clone(): WriteFirstTuringMachine
Returns WriteFirstTuringMachine
Implementation of ComputationSystem.clone
- Defined in write-first-turing-machine.ts:482

getConfiguration

getConfiguration(): null | TMConfiguration
Returns configuration(current status) of this machine.

Returns null | TMConfiguration
Current status of this machine if WriteFirstTuringMachine.start was called, false otherwise.
Remarks
A turing machine's configuration is represented as follows:
- nowState - This machine's now state.
- tape - Symbols on tape for this machine.
- headPosition - Relative position of this machine's current head.
Implementation of ComputationSystem.getConfiguration
- Defined in write-first-turing-machine.ts:470

getInitialWord

getInitialWord(): null | TMSymbol[]
Get the word when this machine starts the process.

Returns null | TMSymbol[]
Returns the initial-word if WriteFirstTuringMachine.start was called, If not, return null.
- Defined in write-first-turing-machine.ts:314

isAccepted

isAccepted(): boolean
Returns whether this machine is in the accepted state.

Returns boolean
True if this machine is in the accepted state, false otherwise.
- Defined in write-first-turing-machine.ts:408

isHalted

isHalted(): boolean
Returns whether this machine is halted.

Returns boolean
True if this machine is halted, false otherwise.

Remarks
The machine will stop if WriteFirstTuringMachine.isAccepted is true, but it is not treated as "halt".
- Defined in write-first-turing-machine.ts:420

isStopped

isStopped(): boolean
Returns boolean
Implementation of ComputationSystem.isStopped
- Defined in write-first-turing-machine.ts:424

proceed

proceed(step?): void
Proceeds with this machine. This method must be called after WriteFirstTuringMachine.start called, or get an error,
Parameters
- step: number = 1
  Non-negative integer indicating how many steps to advance this machine.
Returns void
Remarks
One "step" is a series of processes that writes the symbol, moves the head, reads a symbol, and changes its state.
Implementation of ComputationSystem.proceed
- Defined in write-first-turing-machine.ts:345

start

start(input): void
Initiates processing for a given word.
Parameters
- input: [word: TMSymbol[], headPosition: number, state: TMState]
  the Write-First TM's input. It' an array that contains the following elements:
  - word - A word being processed.
  - headPosition - Relative position of the head at the start of processing. For Instance, "3" means to start from word[3], and "-1" means to start from the blank symbol to the left of the word.
  - state - now internal state.
Returns void
Implementation of ComputationSystem.start
- Defined in write-first-turing-machine.ts:325

toString

toString(): string
Returns string representation of this machine.

Returns string
String representation of this machine.
- Defined in write-first-turing-machine.ts:490

Class WriteFirstTuringMachine

Implements

Index

Constructors

Properties

Methods

Constructors

constructor

Parameters

blank: TMSymbol

ruleset: WriteFirstTMRuleSet

acceptState: null | TMState = null

Returns WriteFirstTuringMachine

Remark

Properties

Private Readonly acceptState

Private Readonly blank

Private halt

Private headPosition

Private initState

Private initialWord

Private nowState

Private Readonly ruleset

Private tape

Methods

asTuple

Returns { acceptState: null | TMState; blankSymbol: TMSymbol; inputSymbolSet: Set<TMSymbol>; ruleset: WriteFirstTMRuleSet; stateSet: Set<TMState>; symbolSet: Set<TMSymbol>; }

acceptState: null | TMState

blankSymbol: TMSymbol

inputSymbolSet: Set<TMSymbol>

ruleset: WriteFirstTMRuleSet

stateSet: Set<TMState>

symbolSet: Set<TMSymbol>

Remarks

clone

Returns WriteFirstTuringMachine

getConfiguration

Returns null | TMConfiguration

Remarks

getInitialWord

Returns null | TMSymbol[]

isAccepted

Returns boolean

isHalted

Returns boolean

Remarks

isStopped

Returns boolean

proceed

Parameters

step: number = 1

Returns void

Remarks

start

Parameters

input: [word: TMSymbol[], headPosition: number, state: TMState]

Returns void

toString

Returns string

Settings

Member Visibility

Theme

On This Page

`Private` `Readonly` acceptState

`Private` `Readonly` blank

`Private` halt

`Private` headPosition

`Private` initState

`Private` initialWord

`Private` nowState

`Private` `Readonly` ruleset

`Private` tape

Returns {
acceptState: null | TMState;
blankSymbol: TMSymbol;
inputSymbolSet: Set<TMSymbol>;
ruleset: WriteFirstTMRuleSet;
stateSet: Set<TMState>;
symbolSet: Set<TMSymbol>;
}