-
Notifications
You must be signed in to change notification settings - Fork 1
Expand file tree
/
Copy pathmain.cpp
More file actions
55 lines (43 loc) · 1015 Bytes
/
main.cpp
File metadata and controls
55 lines (43 loc) · 1015 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
#include "TuringMachine.h"
/// Accept { 0^n1^n | n > 0 }
class AnBn : public trmch::AbstractTuringMachine<>
{
public:
AnBn() : AbstractTuringMachine(0, 4, -1) {}
protected:
void oneStep(int currentState, char currentSymbol, NextStep &nextStep) const override
{
switch(currentState)
{
case 0:
break;
case 1:
break;
case 2:
break;
case 3:
break;
}
}
};
class Test : public trmch::AbstractTuringMachine<>
{
public:
Test() : AbstractTuringMachine(0, 5, -1) {}
protected:
void oneStep(int currentState, char currentSymbol, NextStep &nextStep) const override
{
nextStep.nextState = currentState + 1;
nextStep.whereToMove = trmch::RIGHT;
nextStep.writeSymbol = '#';
}
};
int main()
{
using namespace trmch;
TuringMachine<> m(0, 2, -1,
{{0, 'a', 1, 'b', RIGHT}}
);
m.debug("a");
return 0;
}