machine

Documentation

Index

• Constants
• Variables
• type Transaction
  • func NewTransaction(currentState state.State, symbolScanned symbol.Symbol, newState state.State, ...) Transaction
• type TuringMachine
  • func NewTuringMachine(iss set.Set, fss set.Set, trs set.Set, as state.State, fs symbol.Symbol) TuringMachine

Constants

const EmptyTapeLength = 5

Variables

var ACTIONS = [...]string{"R", "L", "N"}

Types

type Transaction

type Transaction interface {
	Validate(m TuringMachine) bool
	Simulate() (state.State, symbol.Symbol, string)
	GetCurrentState() state.State
	GetSymbolScanned() symbol.Symbol
	GetNewState() state.State
	GetSymbolWritten() symbol.Symbol
	GetMoveTape() string
	Print() string
}

Transaction interface

func NewTransaction

func NewTransaction(currentState state.State, symbolScanned symbol.Symbol, newState state.State, symbolWritten symbol.Symbol, moveTape string) Transaction

NewTransaction() Create a new Transaction with given currentState, symbolScanned, symbolWritten and moveTape action

type TuringMachine

type TuringMachine interface {
	Step() state.State
	Computed() bool
	Run()
	GetActualSymbol() symbol.Symbol
	GetActualState() state.State
	MoveHeadPointer(s symbol.Symbol, m string) int
	Print() string
}

TuringMachine interface

func NewTuringMachine

func NewTuringMachine(iss set.Set, fss set.Set, trs set.Set, as state.State, fs symbol.Symbol) TuringMachine

NewTuringMachine() Return a new TuringMachine