Exemplo n.º 1
0
func main() {
	app := cli.NewApp()
	app.Action = func(ctx *cli.Context) {
		prog := ctx.GlobalString("prog")
		if prog == "" {
			log.Fatal(
				error_.New("--prog (or -p) required!"),
			)
		}
		file, err := os.Open(prog)
		if err != nil {
			log.Fatal(err)
		}
		jsonDec := json.NewDecoder(file)
		var machineDesc machine.MachineDesc
		err = jsonDec.Decode(&machineDesc)
		if err != nil {
			log.Fatal(err)
		}
		machine, err := machine.NewMachine(&machineDesc)
		if err != nil {
			log.Fatal(err)
		}
		machine.Run()
	}
	app.Flags = []cli.Flag{
		cli.StringFlag{
			"prog,p",
			"",
			"Path to the turing machine \"program\" to run.",
		},
	}
	app.Name = "turing-machine"
	app.Usage = "Turing machinez tho."
	app.Version = "0.0.1"
	err := app.Run(os.Args)
	if err != nil {
		log.Fatal(err)
	}
}
Exemplo n.º 2
0
func NewMachine(machineDesc *MachineDesc) (*Machine, error) {
	alphabet := make(map[Sym]bool)
	for i := range machineDesc.Alphabet {
		alphabet[machineDesc.Alphabet[i]] = true
	}
	states := make(map[State]bool)
	for i := range machineDesc.States {
		states[machineDesc.States[i]] = true
	}
	states[StateValHalt] = true
	for i := range machineDesc.InputSyms {
		if !alphabet[machineDesc.InputSyms[i]] {
			return nil, error_.New(
				fmt.Sprintf("<machine> Input symbol \"%s\" isn't in the alphabet!", machineDesc.InputSyms[i]),
			)
		}
	}
	machine := Machine{
		conf: &Conf{
			currState:   machineDesc.InitState,
			currTapePos: uint(0),
		},
		tape:     NewTape(machineDesc.InputSyms),
		transMap: make(map[MachineTransMapKey]MachineTransMapVal),
	}
	for i := range machineDesc.TransMap {
		if !states[machineDesc.TransMap[i].Map.State] {
			return nil, error_.New(
				fmt.Sprintf("<machine> Transition map output state \"%s\" isn't in the set of finite states!", machineDesc.TransMap[i].Map.State),
			)
		}
		if !alphabet[machineDesc.TransMap[i].Map.Sym] {
			return nil, error_.New(
				fmt.Sprintf("<machine> Transition map output symbol \"%s\" isn't in the alphabet!", machineDesc.TransMap[i].Map.Sym),
			)
		}
		if !states[machineDesc.TransMap[i].State] {
			return nil, error_.New(
				fmt.Sprintf("<machine> Transition map input state \"%s\" isn't in the set of finite states!", machineDesc.TransMap[i].State),
			)
		}
		if !alphabet[machineDesc.TransMap[i].Sym] {
			return nil, error_.New(
				fmt.Sprintf("<machine> Transition map input symbol \"%s\" isn't in the alphabet!", machineDesc.TransMap[i].Sym),
			)
		}
		switch machineDesc.TransMap[i].Map.Dir {
		case DirMovLeft, DirMovRight, DirStay:
			break
		default:
			return nil, error_.New(
				fmt.Sprintf("<machine> \"%s\" isn't a valid direction!", machineDesc.TransMap[i].Map.Dir),
			)
		}
		machine.transMap[MachineTransMapKey{
			state: machineDesc.TransMap[i].State,
			sym:   machineDesc.TransMap[i].Sym,
		}] = MachineTransMapVal{
			dir:   machineDesc.TransMap[i].Map.Dir,
			state: machineDesc.TransMap[i].Map.State,
			sym:   machineDesc.TransMap[i].Map.Sym,
		}
	}
	return &machine, nil
}