Class WriteFirstTMRuleSetBuilder

A builder to build the Write-First Turing Machine's ruleset.

See

WriteFirstTMRuleSet

Index

Constructors

constructor

new WriteFirstTMRuleSetBuilder(): WriteFirstTMRuleSetBuilder
Returns WriteFirstTMRuleSetBuilder

Properties

`Private` nowBuildingInfo

nowBuildingInfo: null | {
    move: TMMove;
    nowState: TMState;
    write: TMSymbol;
} = null

Type declaration

move: TMMove
nowState: TMState
write: TMSymbol

`Private` rules

rules: {
    nowState: TMState;
    out: {
        changeStates: {
            read: TMSymbol;
            thenGoTo: TMState | "HALT";
        }[];
        move: TMMove;
        write: TMSymbol;
    };
}[] = []

Type declaration

nowState: TMState
out: {
    changeStates: {
        read: TMSymbol;
        thenGoTo: TMState | "HALT";
    }[];
    move: TMMove;
    write: TMSymbol;
}
- changeStates: {
  read: TMSymbol;
  thenGoTo: TMState | "HALT";
  }[]
- move: TMMove
- write: TMSymbol

Methods

add

add(read, nextState): WriteFirstTMRuleSetBuilder
Add rule to this builder.
Parameters
- read: TMSymbol
- nextState: TMState
Returns WriteFirstTMRuleSetBuilder
This builder, to method chains.

Remarks
The rule is interpreted as "When it is at state then write write symbol, and move head to move. Next, read symbol that location, then it's read, change state to nextState. state, write and move is set by WriteFirstTMRuleSetBuilder.state.
- Defined in write-first-turing-machine.ts:174

addHALT

addHALT(read): WriteFirstTMRuleSetBuilder
Add HALT rule to this builder.
Parameters
- read: TMSymbol
Returns WriteFirstTMRuleSetBuilder
This builder, to method chains.

Remarks
The rule is interpreted as "When it is at state then write write symbol, and move head to move. Next, read symbol that location, then it's read, stop the machine. state, write and move is set by WriteFirstTMRuleSetBuilder.state.
- Defined in write-first-turing-machine.ts:227

build

build(): WriteFirstTMRuleSet
Build the rule-set with the configured rules.

Returns WriteFirstTMRuleSet
Created rule-set.
- Defined in write-first-turing-machine.ts:274

state

state(state, write, move): WriteFirstTMRuleSetBuilder
Sets which states the rules to be added are related to.
Parameters
- state: TMState
  The state the rules to be added are related to.
- write: TMSymbol
- move: TMMove
Returns WriteFirstTMRuleSetBuilder
This builder, to method chains.

See
WriteFirstTMRuleSetBuilder.add
- Defined in write-first-turing-machine.ts:158

Class WriteFirstTMRuleSetBuilder

See

Index

Constructors

Properties

Methods

Constructors

constructor

Returns WriteFirstTMRuleSetBuilder

Properties

Private nowBuildingInfo

Type declaration

move: TMMove

nowState: TMState

write: TMSymbol

Private rules

Type declaration

nowState: TMState

out: { changeStates: { read: TMSymbol; thenGoTo: TMState | "HALT"; }[]; move: TMMove; write: TMSymbol; }

changeStates: { read: TMSymbol; thenGoTo: TMState | "HALT"; }[]

move: TMMove

write: TMSymbol

Methods

add

Parameters

read: TMSymbol

nextState: TMState

Returns WriteFirstTMRuleSetBuilder

Remarks

addHALT

Parameters

read: TMSymbol

Returns WriteFirstTMRuleSetBuilder

Remarks

build

Returns WriteFirstTMRuleSet

state

Parameters

state: TMState

write: TMSymbol

move: TMMove

Returns WriteFirstTMRuleSetBuilder

See

Settings

Member Visibility

Theme

On This Page

`Private` nowBuildingInfo

`Private` rules

out: {
changeStates: {
read: TMSymbol;
thenGoTo: TMState | "HALT";
}[];
move: TMMove;
write: TMSymbol;
}

changeStates: {
read: TMSymbol;
thenGoTo: TMState | "HALT";
}[]