utm.cpp

#include <machine/Turing/utm.h>
 
namespace TuringSim::Machine::Turing {
    Utm::UtmType Utm::makeUtm() {
        TransitionSetType transitions;
        transitions.merge(makeFind());
        transitions.merge(makeErase());
        transitions.merge(makePrintAtEnd());
        transitions.merge(makeFindAndMove());
        transitions.merge(makeCopy());
        transitions.merge(makeCopyAndErase());
        transitions.merge(makeReplace());
        transitions.merge(makeComparison());
        transitions.merge(makeFindLast());
        transitions.merge(makeE());
        transitions.merge(makeCon());
        transitions.merge(makeInit());
        transitions.merge(makeSim());
        transitions.merge(makeMf());
        transitions.merge(makeSh());
        transitions.merge(makeInst());
 
        UtmType machine {
                {std::make_shared<const State::MConfiguration::MConfiguration<std::string>>("b")},
                {},
                {transitions.begin(), transitions.end()}
        };
        return machine;
    }
 
    Utm::TransitionSetType Utm::makeFind() {
        TransitionSetType transitions{
                {"f(_E, _B, _a)",  "|",             "L", "#", "f1(_E, _B, _a)"},
                {"f(_E, _B, _a)",  "non(|)",        "L", "#", "f(_E, _B, _a)"},
                {"f1(_E, _B, _a)", "none",          "R", "#", "f2(_E, _B, _a)"},
                {"f1(_E, _B, _a)", "_a",            "",  "#", "_E"},
                {"f1(_E, _B, _a)", "non(_a, none)", "R", "#", "f1(_E, _B, _a)"},
                {"f2(_E, _B, _a)", "none",          "R", "#", "_B"},
                {"f2(_E, _B, _a)", "_a",            "N", "#", "_E"},
                {"f2(_E, _B, _a)", "non(_a, none)", "R", "#", "f1(_E, _B, _a)"},
        };
        return transitions;
    }
 
    Utm::TransitionSetType Utm::makeErase() {
        TransitionSetType transitions{
                {"e(_E, _B, _a)",  "", "",  "#", "f(e1(_E, _B, _a), _B, _a)"},
                {"e1(_E, _B, _a)", "", "E", "#", "_E"},
                {"e(_B, _a)",      "", "",  "#", "e(e(_B, _a), _B, _a)"},
        };
        return transitions;
    }
 
    Utm::TransitionSetType Utm::makePrintAtEnd() {
        TransitionSetType transitions{
                {"pe(_E, _b)",      "",     "",     "#", "f(pe1(_E, _b), _E, |)"},
                {"pe1(_E, _b)",     "none", "I _b", "#", "_E"},
                {"pe1(_E, _b)",     "any",  "R, R", "#", "pe1(_E, _b)"},
                {"pe2(_E, _a, _b)", "",     "",     "#", "pe(pe(_E, _b), _a)"},
        };
        return transitions;
    }
 
    Utm::TransitionSetType Utm::makeFindAndMove() {
        TransitionSetType transitions{
                {"l(_E)",           "", "L", "#", "_E"},
                {"r(_E)",           "", "R", "#", "_E"},
                {"f'(_E, _B, _a)",  "", "",  "#", "f(l(_E), _B, _a)"},
                {"f''(_E, _B, _a)", "", "",  "#", "f(r(_E), _B, _a)"},
        };
        return transitions;
    }
 
    Utm::TransitionSetType Utm::makeCopy() {
        TransitionSetType transitions{
                {"c(_E, _B, _a)", "", "", "#", "f'(c1(_E), _B, _a)"},
                {"c1(_E)",        "", "", "#", "pe(_E, _#)"},
        };
        return transitions;
    }
 
    Utm::TransitionSetType Utm::makeCopyAndErase() {
        TransitionSetType transitions{
                {"ce(_E, _B, _a)",              "", "", "#", "c(e(_E, _B, _a), _B, _a)"},
                {"ce(_B, _a)",                  "", "", "#", "ce(ce(_B, _a), _B, _a)"},
                {"ce(_B, _a)",                  "", "", "#", "ce(ce(_B, _a), _B, _a)"},
                {"ce2(_B, _a, _b)",             "", "", "#", "ce(ce(_B, _b), _a)"},
                {"ce3(_B, _a, _b, _c)",         "", "", "#", "ce(ce2(_B, _b, _c), _a)"},
                {"ce4(_B, _a, _b, _c, _d)",     "", "", "#", "ce(ce3(_B, _b, _c, _d), _a)"},
                {"ce5(_B, _a, _b, _c, _d, _e)", "", "", "#", "ce(ce4(_B, _b, _c, _d, _e), _a)"},
 
        };
        return transitions;
    }
 
    Utm::TransitionSetType Utm::makeReplace() {
        TransitionSetType transitions{
                {"re(_E, _B, _a, _b)",  "", "",        "#", "f(re1(_E, _B, _a, _b), _B, _a)"},
                {"re1(_E, _B, _a, _b)", "", "E, I _b", "#", "_E"},
                {"re(_B, _a, _b)",      "", "",        "#", "re(re(_B, _a, _b), _B, _a, _b)"},
        };
        return transitions;
    }
 
    Utm::TransitionSetType Utm::makeComparison() {
        TransitionSetType transitions{
                {"cp(_E1, _U, _E, _a, _b)",  "",              "", "#", "f'(cp1(_E1, _U, _b), f(_U, _E, _b), _a)"},
                {"cp1(_E, _U, _b)",          "",              "", "#", "f'(cp2(_E, _U, _#), _U, _b)"},
                {"cp2(_E, _U, _c)",          "_c",            "", "#", "_E"},
                {"cp2(_E, _U, _c)",          "non(_c, none)", "", "#", "_U"},
                {"cpe(_E1, _U, _E, _a, _b)", "",              "", "#", "cp(e(e(_E1, _E, _b), _E, _a), _U, _E, _a, _b)"},
                {"cpe(_U, _E, _a, _b)",          "",              "", "#", "cpe(cpe(_U, _E, _a, _b), _U, _E, _a, _b)"},
        };
        return transitions;
    }
 
    Utm::TransitionSetType Utm::makeFindLast() {
        TransitionSetType transitions{
                {"q(_E)",       "none",      "R", "#", "q1(_E)"},
                {"q(_E)",       "any",       "R", "#", "q(_E)"},
                {"q1(_E)",      "none",      "R", "#", "_E"},
                {"q1(_E)",      "any",       "",  "#", "q(_E)"},
                {"q(_E, _a)",   "",          "",  "#", "q(q1(_E, _a))"},
                {"q1(_E, _a)",  "_a",        "",  "#", "_E"},
                {"q1(_E, _a)",  "non(_a)",   "L", "#", "q1(_E, _a)"},
        };
        return transitions;
    }
 
    Utm::TransitionSetType Utm::makeE() {
        TransitionSetType transitions{
                {"e(anf)",  "|",      "R",       "#", "e1(anf)"},
                {"e(anf)",  "non(|)", "L",       "#", "e(anf)"},
                {"e1(anf)", "none",   "",         "#", "anf"},
                {"e1(anf)", "any",    "R, E, R",  "#", "e1(anf)"},
        };
        return transitions;
    }
 
    Utm::TransitionSetType Utm::makeCon() {
        TransitionSetType transitions{
                {"con(_E, _a)",  "non(A)", "R, R",                  "#", "con(_E, _a)"},
                {"con(_E, _a)",  "A",      "L, I _a, R",            "#", "con1(_E, _a)"},
                {"con1(_E, _a)", "A",      "R, I _a, R",            "#", "con1(_E, _a)"},
                {"con1(_E, _a)", "C",      "R, I _a, R",            "#", "con2(_E, _a)"},
                {"con1(_E, _a)", "none",   "I C, R, I _a, R, R, R", "#", "_E"},
                {"con2(_E, _a)", "B",      "R, I _a, R",            "#", "con2(_E, _a)"},
                {"con2(_E, _a)", "non(B)", "R, R",                  "#", "_E"},
        };
        return transitions;
    }
 
    Utm::TransitionSetType Utm::makeInit() {
        TransitionSetType transitions{
                {"b",    "",          "",                       "#", "f(b1, b1, +)"},
                {"b1",   "",          "R, R, I(:, ., C, ., A)", "#", "anf"},
                {"anf",  "",          "",                       "#", "q(anf1, :)"},
                {"anf1", "",          "",                       "#", "con(fom, y)"},
                {"fom",  ";",         "R, I z, L",              "#", "con(fmp, x)"},
                {"fom",  "z",         "L, L",                   "#", "fom"},
                {"fom",  "non(;, z)", "L",                      "#", "fom"},
                {"fmp",  "",          "",                       "#", "cpe(e(e(anf, y), x), sim, x, y)"},
        };
        return transitions;
    }
 
    Utm::TransitionSetType Utm::makeSim() {
        TransitionSetType transitions{
                {"sim",  "",       "",                "#", "f'(sim1, sim1, z)"},
                {"sim1", "",       "",                "#", "con(sim2, blank)"},
                {"sim2", "A",      "",                "#", "sim3"},
                {"sim2", "non(A)", "L, I u, R, R, R", "#", "sim2"},
                {"sim3", "non(A)", "L, I y",          "#", "e(mf, z)"},
                {"sim3", "A",      "L, I y, R, R, R", "#", "sim3"},
        };
        return transitions;
    }
 
    Utm::TransitionSetType Utm::makeMf() {
        TransitionSetType transitions{
                {"mf",  "",       "",                "#", "q(mf1, :)"},
                {"mf1", "A",      "L, L, L, L",      "#", "mf2"},
                {"mf1", "non(A)", "R, R",            "#", "mf1"},
                {"mf2", "B",      "R, I x, L, L, L", "#", "mf2"},
                {"mf2", ":",      "",                "#", "mf4"},
                {"mf2", "C",      "R, I x, L, L, L", "#", "mf3"},
                {"mf3", "non(:)", "R, I v, L, L, L", "#", "mf3"},
                {"mf3", ":",      "",                "#", "mf4"},
                {"mf4", "",       "",                "#", "con(l(l(mf5)), blank)"},
                {"mf5", "any",    "R, I w, R",       "#", "mf5"},
                {"mf5", "none",   "I :",             "#", "sh"},
        };
        return transitions;
    }
 
    Utm::TransitionSetType Utm::makeSh() {
        TransitionSetType transitions{
                {"sh",  "",       "",           "#", "f(sh1, inst, u)"},
                {"sh1", "",       "L, L, L",    "#", "sh2"},
                {"sh2", "C",      "R, R, R, R", "#", "sh3"},
                {"sh2", "non(C)", "",           "#", "inst"},
                {"sh3", "B",      "R, R",       "#", "sh4"},
                {"sh3", "non(B)", "",           "#", "inst"},
                {"sh4", "B",      "R, R",       "#", "sh5"},
                {"sh4", "non(B)", "",           "#", "pe2(inst, 0, :)"},
                {"sh5", "B",      "",           "#", "inst"},
                {"sh5", "non(B)", "",           "#", "pe2(inst, 1, :)"},
        };
        return transitions;
    }
 
    Utm::TransitionSetType Utm::makeInst() {
        TransitionSetType transitions{
                {"inst",     "", "",     "#", "q(l(inst1), u)"},
                {"inst1",    "", "R, E", "#", "inst1(_#)"},
                {"inst1(G)", "", "",     "#", "ce5(ov, v, y, x, u, w)"},
                {"inst1(D)", "", "",     "#", "ce5(ov, v, x, u, y, w)"},
                {"inst1(N)", "", "",     "#", "ce5(ov, v, x, y, u, w)"},
                {"ov",       "", "",     "#", "e(anf)"},
        };
        return transitions;
    }
}