utm.h

#pragma once
 
#include <machine/Turing/deterministicTuringStyleMConfigurationTuringMachine.h>
#include <transition/Turing/stringTuringStyleMConfigurationTuringMachineTransition.h>
 
namespace TuringSim::Machine::Turing {
    class Utm {
    public:
        constexpr static bool hasHalfTape = true;
 
        typedef DeterministicTuringStyleMConfigurationTuringMachine<std::string, hasHalfTape> UtmType;
 
        typedef Transition::Turing::StringTuringStyleMConfigurationTuringMachineTransition<hasHalfTape> TransitionType;
 
        typedef std::set<TransitionType> TransitionSetType;
 
        static UtmType makeUtm();
 
        static TransitionSetType makeFind();
 
        static TransitionSetType makeErase();
 
        static TransitionSetType makePrintAtEnd();
 
        static TransitionSetType makeFindAndMove();
 
        static TransitionSetType makeCopy();
 
        static TransitionSetType makeCopyAndErase();
 
        static TransitionSetType makeReplace();
 
        static TransitionSetType makeComparison();
 
        static TransitionSetType makeFindLast();
 
        static TransitionSetType makeE();
 
        static TransitionSetType makeCon();
 
        static TransitionSetType makeInit();
 
        static TransitionSetType makeSim();
 
        static TransitionSetType makeMf();
 
        static TransitionSetType makeSh();
 
        static TransitionSetType makeInst();
    };
}