Class TagSystem

A object for simulate the tag system.

Implements

ComputationSystem

Index

Constructors

Properties

deleteNum letters ruleSet stop

Methods

asTuple clone getConfiguration getNowWord isStopped proceed start toString

Constructors

constructor

new TagSystem(deleteNum, ruleSet): TagSystem
Initialize machine with given arguments.
Parameters
- deleteNum: number
  An integer indicating how many of the first letters of the word are to be deleted. Must be > 0.
- ruleSet: TagSystemRuleSet
  Rules that determine how the tag system moves.
Returns TagSystem
- Defined in tag-system.ts:263

Properties

`Private` `Readonly` deleteNum

deleteNum: number

`Private` letters

letters: null | TagSystemLetter[] = null

`Private` `Readonly` ruleSet

ruleSet: TagSystemRuleSet

`Private` stop

stop: boolean = false

Methods

asTuple

asTuple(): {
    deleteNum: number;
    letterSet: Set<TagSystemLetter>;
    ruleSet: TagSystemRuleSet;
}
Returns a tuple representation of this system.

Returns {
    deleteNum: number;
    letterSet: Set<TagSystemLetter>;
    ruleSet: TagSystemRuleSet;
}
a tuple representation of this machine.
- deleteNum: number
- letterSet: Set<TagSystemLetter>
- ruleSet: TagSystemRuleSet
Remarks
A Turing machine is represented as follows:
- deleteNum - The number of letters to be deleted from a word.
- letterSet - List of all letters this system uses.
- ruleSet - List of rules used by this system.
Implementation of ComputationSystem.asTuple
- Defined in tag-system.ts:354

clone

clone(): TagSystem
Returns TagSystem
Implementation of ComputationSystem.clone
- Defined in tag-system.ts:378

getConfiguration

getConfiguration(): null | TagSystemConfiguration
Returns null | TagSystemConfiguration
Implementation of ComputationSystem.getConfiguration
- Defined in tag-system.ts:372

getNowWord

getNowWord(): null | TagSystemWord
Returns currently processing words.

Returns null | TagSystemWord
Currently processing words.
- Defined in tag-system.ts:366

isStopped

isStopped(): boolean
Returns whether this system is stoped.

Returns boolean
True if this machine is stoped, false otherwise.
Implementation of ComputationSystem.isStopped
- Defined in tag-system.ts:339

proceed

proceed(step?): void
Proceeds with this system. This method must be called after TagSystem.start called, or get an error,
Parameters
- step: number = 1
  Non-negative integer indicating how many steps to advance this system.
Returns void
Remarks
One "step" is a sequence of reading the first letter, adding a sequence of letters to the end of a word, and erasing m letters.
Implementation of ComputationSystem.proceed
- Defined in tag-system.ts:302

start

start(input): void
Initiates processing for letters.
Parameters
- input: [letters: TagSystemLetter[]]
Returns void
Throws
when a letters does not contain a letter defined by the conversion rules.
Implementation of ComputationSystem.start
- Defined in tag-system.ts:274

toString

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

Returns string
String representation of this system.
- Defined in tag-system.ts:386

Generated using TypeDoc