machine

type Conf struct {
	// contains filtered or unexported fields
}

type Dir string

type Machine struct {
	// contains filtered or unexported fields
}

type MachineDesc struct {
	Alphabet  []Sym   `json:"Σ"`
	InitState State   `json:"s"`
	InputSyms []Sym   `json:"x"`
	States    []State `json:"K"`
	TransMap  []struct {
		Map struct {
			Dir   Dir   `json:"dir"`
			State State `json:"state"`
			Sym   Sym   `json:"sym"`
		}
		State State `json:"state"`
		Sym   Sym   `json:"sym"`
	} `json:"δ"`
}

type MachineTransMapKey struct {
	// contains filtered or unexported fields
}

type MachineTransMapVal struct {
	// contains filtered or unexported fields
}

type State string

type Sym string

type Tape struct {
	// contains filtered or unexported fields
}