turingmachines

package module

v0.0.0-...-6d97079 Latest Latest Go to latest Published: Oct 13, 2022 License: MIT Imports: 5 Imported by: 2

Details

Valid go.mod file

The Go module system was introduced in Go 1.11 and is the official dependency management solution for Go.
Redistributable license

Redistributable licenses place minimal restrictions on how software can be used, modified, and redistributed.
Tagged version

Modules with tagged versions give importers more predictable builds.
Stable version

When a project reaches major version v1 it is considered stable.
Learn more about best practices

View Source

const DBENTRIES = 88664064

View Source

const DBFILEPATH = "all_5_states_undecided_machines_with_global_header"

This section is empty.

func CreateMacroMachine(tm TuringMachine, blockSize int, backSymbols int, offset int) *macroMachine

func GetStandardTMFormat(tm TuringMachine) string

func GetTMTable(tm TuringMachine) string

type Direction bool

const (
	LEFT  Direction = false
	RIGHT Direction = true
)

func (d Direction) String() string

type State interface {
	IsHalt() bool
	IsLoop() bool
	IsUndefined() bool
	String() string
	GetInt() int
}

type StateCollection interface {
	NumStates() int
	GetState(int) State
	StartState() State
}

type Symbol interface {
	String() string
	GetInt() int
}

type SymbolCollection interface {
	NumSymbols() int
	GetSymbol(int) Symbol
	Zero() Symbol
}

type TuringMachine interface {
	StateCollection
	SymbolCollection
	Transition(State, Symbol) (Symbol, Direction, State)
	NameString() string
}

func GetTMFromDBIndex(dbFilePath string, index uint32) TuringMachine

func GetTuringMachineFromString(tmString string) TuringMachine