├── .gitignore
├── README.md
├── myTurningMachine
    ├── main.cpp
    ├── mainwindow.cpp
    ├── mainwindow.h
    ├── mainwindow.ui
    ├── myTurningMachine.pro
    ├── pending.cpp
    ├── pending.h
    └── pending.ui
└── rules
    ├── 0^n1^n.txt
    ├── aMODe.txt
    ├── binary.txt
    ├── log2.txt
    ├── m-n.txt
    └── wcw.txt


/.gitignore:
--------------------------------------------------------------------------------
1 | build-myTurningMachine-Desktop_Qt_5_13_0_MinGW_64_bit-Release
2 | build-myTurningMachine-Desktop_Qt_5_13_0_MinGW_64_bit-Debug
3 | myTurningMachine/myTurningMachine.pro.user


--------------------------------------------------------------------------------
/README.md:
--------------------------------------------------------------------------------
1 | 计算理论图灵机
2 | 
3 | # 如需要自取即可，记得点个star :D
4 | 
5 | ![image](https://user-images.githubusercontent.com/38092591/147580218-276af2b4-9d7b-45f9-8b7d-513d8438885f.png)
6 | 


--------------------------------------------------------------------------------
/myTurningMachine/main.cpp:
--------------------------------------------------------------------------------
 1 | #include "mainwindow.h"
 2 | #include <QApplication>
 3 | 
 4 | int main(int argc, char *argv[])
 5 | {
 6 |     QApplication a(argc, argv);
 7 |     MainWindow w;
 8 |     w.show();
 9 | 
10 |     return a.exec();
11 | }
12 | 


--------------------------------------------------------------------------------
/myTurningMachine/mainwindow.cpp:
--------------------------------------------------------------------------------
  1 | #include "mainwindow.h"
  2 | #include "ui_mainwindow.h"
  3 | #include "ui_pending.h"
  4 | 
  5 | MainWindow::MainWindow(QWidget *parent) :
  6 |     QMainWindow(parent), pending(new Pending),
  7 |     ui(new Ui::MainWindow)
  8 | {
  9 |     ui->setupUi(this);
 10 | 
 11 |     nowPoint = 1;
 12 | 
 13 |     ui->Table->horizontalHeader()->hide();
 14 |     ui->Table->verticalHeader()->hide();
 15 |     ui->Table->horizontalHeader()->setSectionResizeMode(QHeaderView::ResizeToContents);
 16 | 
 17 |     ui->Text_StartStatus->setReadOnly(true);
 18 |     ui->Text_EndStatus->setReadOnly(true);
 19 |     ui->Text_InputChars->setReadOnly(true);
 20 |     ui->Text_StatusSet->setReadOnly(true);
 21 |     ui->textEdit_3->setReadOnly(true);
 22 |     ui->textEdit_5->setReadOnly(true);
 23 |     ui->textEdit_7->setReadOnly(true);
 24 |     ui->textEdit_9->setReadOnly(true);
 25 |     ui->textEdit_10->setReadOnly(true);
 26 | 
 27 |     connect(ui->PB_InputRule, SIGNAL(clicked()), this, SLOT(Press_InputRules()));
 28 |     connect(ui->PB_Start, SIGNAL(clicked()), this, SLOT(Press_Start()));
 29 |     connect(ui->PB_OneStep, SIGNAL(clicked()), this, SLOT(Press_OneStep()));
 30 |     connect(ui->PB_AllStep, SIGNAL(clicked()), this, SLOT(Press_AllStep()));
 31 | 
 32 |     connect(ui->List_InputRules, SIGNAL(itemClicked(QListWidgetItem*)), this, SLOT(Press_RulesList(QListWidgetItem*)));
 33 | }
 34 | 
 35 | void MainWindow::Press_InputRules()
 36 | {
 37 |     QDir dir("../rules");
 38 |     dir.setFilter(QDir::Dirs | QDir::Files | QDir::NoDotAndDotDot);
 39 |     QFileInfoList list = dir.entryInfoList();
 40 | 
 41 |     qDebug() << list << endl;
 42 | 
 43 |     for (int i=0; i<list.size(); i++){
 44 |         QString filename = list.at(i).fileName();
 45 |         filename = filename.left(filename.size()-4);
 46 |         ui->List_InputRules->addItem(filename);
 47 |     }
 48 | }
 49 | 
 50 | void MainWindow::Press_Start()
 51 | {
 52 |     ui->Table->clear();
 53 |     nowPoint = 1;
 54 |     nowStatus = startS;
 55 | 
 56 |     if (ui->Input_Chars->text().isEmpty())  return;
 57 |     qDebug() << ui->Input_Chars->text() << endl;
 58 | 
 59 |     ui->Table->setRowCount(2);
 60 |     ui->Table->setColumnCount(300);
 61 |     order = "B" + ui->Input_Chars->text() + "B";
 62 |     for (int i=0; i<order.size(); i++){
 63 |         if (order[i] == 'B')    continue;
 64 |         bool flag = false;
 65 |         for (int j=0; j<readlist.size(); j++){
 66 |             if (order[i] == readlist[j]){
 67 |                 flag = true;
 68 |                 break;
 69 |             }
 70 |         }
 71 |         if (!flag){
 72 |             QMessageBox::information(nullptr,"ERROR","输入纸带有误",QMessageBox::Ok);
 73 |             return;
 74 |         }
 75 |     }
 76 | 
 77 |     setTable();
 78 | }
 79 | 
 80 | int MainWindow::Press_OneStep()
 81 | {
 82 |     if (order.size() < 1)   return -1;
 83 | //    qDebug() << "now:" << nowStatus << order[nowPoint] << endl;
 84 |     bool flag=false;
 85 |     if (nowStatus != endS){
 86 |         for (int i=0; i<rulesNum; i++){
 87 | //            qDebug() << i << thisrules[i].SS << thisrules[i].read << endl;
 88 |             if (nowStatus == thisrules[i].SS && order[nowPoint] == thisrules[i].read){
 89 |                 nowStatus = thisrules[i].ES;
 90 |                 order[nowPoint] = thisrules[i].Tread.data()[0];
 91 | //                qDebug() << order << endl;
 92 |                 ui->Text_thisRule->clear();
 93 |                 QString str='q'+QString::number(thisrules[i].SS)+','+thisrules[i].read+','+'q'+QString::number(thisrules[i].ES)+','+thisrules[i].Tread+','+thisrules[i].Go;
 94 |                 ui->Text_thisRule->append(str);
 95 |                 if (thisrules[i].Go == "R"){
 96 |                     if (nowPoint+1 == order.size()) order.append('B');
 97 |                     nowPoint++;
 98 |                 }
 99 |                 else if (thisrules[i].Go == "L"){
100 |                     if (nowPoint+1 == order.size()) order.append('B');
101 |                     nowPoint--;
102 |                 }
103 |                 if (nowPoint - 12 > 0)  ui->Table->horizontalScrollBar()->setSliderPosition(nowPoint-12);
104 |                 flag = true;
105 |                 break;
106 |             }
107 |         }
108 |         if (!flag){
109 |             QMessageBox::information(nullptr,"ERROR","输入纸带有误",QMessageBox::Ok);
110 |             return -1;
111 |         }
112 |     }
113 |     else{
114 |         QMessageBox::information(nullptr,"YES!!!!","成功转换！！！！",QMessageBox::Ok);
115 |         return 1;
116 |     }
117 |     setTable();
118 |     return 0;
119 | }
120 | 
121 | void MainWindow::Press_AllStep()
122 | {
123 |     if (order.size() < 1)   return;
124 |     int flag;
125 |     pending->show();
126 |     while (1){
127 |         flag = Press_OneStep();
128 |         if (flag == -1 || flag == 1){
129 |             break;
130 |         }
131 |     }
132 |     pending->hide();
133 | }
134 | 
135 | void MainWindow::Press_RulesList(QListWidgetItem* item)
136 | {
137 |     qDebug() << item->text() << endl;
138 | 
139 |     readlist.clear();
140 | 
141 |     QFile file("../rules/" + item->text() + ".txt");
142 |     if (file.exists())  qDebug() << "file exists" << endl;
143 |     else    qDebug() << "file not exists" << endl;
144 | 
145 |     if (file.open(QIODevice::ReadOnly)) qDebug() << "file open" << endl;
146 |     else{
147 |         qDebug() << "file open fail" << endl;
148 |         return;
149 |     }
150 | 
151 |     QTextStream txt(&file);
152 |     QString line=txt.readLine();
153 |     QStringList strlist=line.split(",");
154 |     ruleName = strlist[0];
155 |     rulesNum = strlist[1].toInt();
156 |     qDebug() << ruleName << rulesNum << endl;
157 | 
158 |     ui->Text_EndStatus->clear();
159 |     ui->Text_StatusSet->clear();
160 |     ui->Text_InputChars->clear();
161 |     ui->Text_StartStatus->clear();
162 | 
163 |     line=txt.readLine();
164 |     ui->Text_StatusSet->append(line);
165 | 
166 |     line=txt.readLine();
167 |     strlist=line.split(",");
168 |     for (int i=0; i<strlist.size(); i++){
169 |         readlist.append(strlist[i]);
170 |     }
171 |     qDebug() << readlist << endl;
172 |     ui->Text_InputChars->append(line);
173 | 
174 |     line=txt.readLine();
175 |     ui->Text_StartStatus->append("q" + line);
176 |     startS = line.toInt();
177 |     nowStatus = line.toInt();
178 | 
179 |     line=txt.readLine();
180 |     ui->Text_EndStatus->append("q" + line);
181 |     endS = line.toInt();
182 | 
183 |     thisrules = new Node[rulesNum];
184 | 
185 |     ui->List_NowRules->clear();
186 |     for (int i=0; i<rulesNum; i++){
187 |         line=txt.readLine();
188 |         strlist=line.split(",");
189 |         thisrules[i].SS = strlist[0].toInt();
190 |         thisrules[i].read = strlist[1].trimmed();
191 |         thisrules[i].ES = strlist[2].toInt();
192 |         thisrules[i].Tread = strlist[3].trimmed();
193 |         thisrules[i].Go = strlist[4].trimmed();
194 |         QString str= 'q'+strlist[0]+','+strlist[1]+','+'q'+strlist[2]+','+strlist[3]+','+strlist[4];
195 |         ui->List_NowRules->addItem(str);
196 |     }
197 | 
198 |     file.close();
199 | 
200 |     QFile ruleinfo("../rules/rulesInfo.txt");
201 |     if (ruleinfo.exists())  qDebug() << "file exists" << endl;
202 |     else    qDebug() << "file not exists" << endl;
203 | 
204 |     if (ruleinfo.open(QIODevice::ReadOnly)) qDebug() << "file open" << endl;
205 |     else{
206 |         qDebug() << "file open fail" << endl;
207 |         return;
208 |     }
209 | }
210 | 
211 | void MainWindow::setTable()
212 | {
213 |     ui->Table->clear();
214 |     for (int i=0; i<order.size(); i++){
215 |         ui->Table->setItem(0, i, new QTableWidgetItem(QString(order[i])));
216 |         ui->Table->setItem(1, i, new QTableWidgetItem(QString(" ")));
217 |         ui->Table->item(0, i)->setBackgroundColor(Qt::green);
218 |     }
219 |     ui->Table->setItem(1, nowPoint, new QTableWidgetItem("q" + QString::number(nowStatus)));
220 |     ui->Table->item(1, nowPoint)->setBackgroundColor(Qt::green);
221 | }
222 | 
223 | MainWindow::~MainWindow()
224 | {
225 |     delete ui;
226 | }
227 | 


--------------------------------------------------------------------------------
/myTurningMachine/mainwindow.h:
--------------------------------------------------------------------------------
 1 | #ifndef MAINWINDOW_H
 2 | #define MAINWINDOW_H
 3 | 
 4 | #include <QMainWindow>
 5 | #include <QListWidgetItem>
 6 | #include <QTableWidgetItem>
 7 | #include <QHeaderView>
 8 | #include <QScrollBar>
 9 | #include <algorithm>
10 | #include <vector>
11 | #include <QtDebug>
12 | #include <QDir>
13 | #include <QMessageBox>
14 | #include <pending.h>
15 | #include <windows.h>
16 | 
17 | namespace Ui {
18 | class MainWindow;
19 | }
20 | 
21 | typedef struct Node{
22 |     int SS;     //开始状态
23 |     QString read;  //读取字符
24 |     int ES;     //状态转移
25 |     QString Tread; //读头符号变化
26 |     QString Go;    //读头变化（方向）
27 | }* Rule, Node;
28 | 
29 | class MainWindow : public QMainWindow
30 | {
31 |     Q_OBJECT
32 | 
33 | public slots:
34 |     void Press_InputRules();
35 |     void Press_Start();
36 |     int Press_OneStep();
37 |     void Press_AllStep();
38 | 
39 |     void Press_RulesList(QListWidgetItem*);
40 | 
41 | public:
42 |     explicit MainWindow(QWidget *parent = nullptr);
43 | 
44 |     void setTable();
45 |     ~MainWindow();
46 | 
47 | private:
48 |     Ui::MainWindow *ui;
49 | 
50 |     Pending *pending;
51 | 
52 |     Rule thisrules;
53 |     QString ruleName;
54 |     QStringList readlist;
55 |     QString order;
56 |     int startS;
57 |     int endS;
58 |     int rulesNum;
59 |     int nowPoint;
60 |     int nowStatus;
61 | };
62 | 
63 | #endif // MAINWINDOW_H
64 | 


--------------------------------------------------------------------------------
/myTurningMachine/mainwindow.ui:
--------------------------------------------------------------------------------
  1 | <?xml version="1.0" encoding="UTF-8"?>
  2 | <ui version="4.0">
  3 |  <class>MainWindow</class>
  4 |  <widget class="QMainWindow" name="MainWindow">
  5 |   <property name="geometry">
  6 |    <rect>
  7 |     <x>0</x>
  8 |     <y>0</y>
  9 |     <width>1440</width>
 10 |     <height>900</height>
 11 |    </rect>
 12 |   </property>
 13 |   <property name="font">
 14 |    <font>
 15 |     <family>微软雅黑</family>
 16 |     <pointsize>12</pointsize>
 17 |    </font>
 18 |   </property>
 19 |   <property name="windowTitle">
 20 |    <string>MainWindow</string>
 21 |   </property>
 22 |   <widget class="QWidget" name="centralWidget">
 23 |    <widget class="QPushButton" name="PB_InputRule">
 24 |     <property name="geometry">
 25 |      <rect>
 26 |       <x>50</x>
 27 |       <y>40</y>
 28 |       <width>200</width>
 29 |       <height>80</height>
 30 |      </rect>
 31 |     </property>
 32 |     <property name="text">
 33 |      <string>录入规则</string>
 34 |     </property>
 35 |    </widget>
 36 |    <widget class="QListWidget" name="List_InputRules">
 37 |     <property name="geometry">
 38 |      <rect>
 39 |       <x>50</x>
 40 |       <y>150</y>
 41 |       <width>201</width>
 42 |       <height>511</height>
 43 |      </rect>
 44 |     </property>
 45 |    </widget>
 46 |    <widget class="QTextEdit" name="textEdit">
 47 |     <property name="geometry">
 48 |      <rect>
 49 |       <x>300</x>
 50 |       <y>150</y>
 51 |       <width>241</width>
 52 |       <height>51</height>
 53 |      </rect>
 54 |     </property>
 55 |     <property name="html">
 56 |      <string>&lt;!DOCTYPE HTML PUBLIC &quot;-//W3C//DTD HTML 4.0//EN&quot; &quot;http://www.w3.org/TR/REC-html40/strict.dtd&quot;&gt;
 57 | &lt;html&gt;&lt;head&gt;&lt;meta name=&quot;qrichtext&quot; content=&quot;1&quot; /&gt;&lt;style type=&quot;text/css&quot;&gt;
 58 | p, li { white-space: pre-wrap; }
 59 | &lt;/style&gt;&lt;/head&gt;&lt;body style=&quot; font-family:'微软雅黑'; font-size:12pt; font-weight:400; font-style:normal;&quot;&gt;
 60 | &lt;p align=&quot;center&quot; style=&quot; margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;&quot;&gt;状态集合：&lt;/p&gt;&lt;/body&gt;&lt;/html&gt;</string>
 61 |     </property>
 62 |    </widget>
 63 |    <widget class="QTextEdit" name="Text_StatusSet">
 64 |     <property name="geometry">
 65 |      <rect>
 66 |       <x>570</x>
 67 |       <y>150</y>
 68 |       <width>571</width>
 69 |       <height>51</height>
 70 |      </rect>
 71 |     </property>
 72 |     <property name="html">
 73 |      <string>&lt;!DOCTYPE HTML PUBLIC &quot;-//W3C//DTD HTML 4.0//EN&quot; &quot;http://www.w3.org/TR/REC-html40/strict.dtd&quot;&gt;
 74 | &lt;html&gt;&lt;head&gt;&lt;meta name=&quot;qrichtext&quot; content=&quot;1&quot; /&gt;&lt;style type=&quot;text/css&quot;&gt;
 75 | p, li { white-space: pre-wrap; }
 76 | &lt;/style&gt;&lt;/head&gt;&lt;body style=&quot; font-family:'微软雅黑'; font-size:12pt; font-weight:400; font-style:normal;&quot;&gt;
 77 | &lt;p style=&quot;-qt-paragraph-type:empty; margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;&quot;&gt;&lt;br /&gt;&lt;/p&gt;&lt;/body&gt;&lt;/html&gt;</string>
 78 |     </property>
 79 |    </widget>
 80 |    <widget class="QTextEdit" name="textEdit_3">
 81 |     <property name="geometry">
 82 |      <rect>
 83 |       <x>300</x>
 84 |       <y>230</y>
 85 |       <width>241</width>
 86 |       <height>51</height>
 87 |      </rect>
 88 |     </property>
 89 |     <property name="html">
 90 |      <string>&lt;!DOCTYPE HTML PUBLIC &quot;-//W3C//DTD HTML 4.0//EN&quot; &quot;http://www.w3.org/TR/REC-html40/strict.dtd&quot;&gt;
 91 | &lt;html&gt;&lt;head&gt;&lt;meta name=&quot;qrichtext&quot; content=&quot;1&quot; /&gt;&lt;style type=&quot;text/css&quot;&gt;
 92 | p, li { white-space: pre-wrap; }
 93 | &lt;/style&gt;&lt;/head&gt;&lt;body style=&quot; font-family:'微软雅黑'; font-size:12pt; font-weight:400; font-style:normal;&quot;&gt;
 94 | &lt;p align=&quot;center&quot; style=&quot; margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;&quot;&gt;输入字符集合：&lt;/p&gt;&lt;/body&gt;&lt;/html&gt;</string>
 95 |     </property>
 96 |    </widget>
 97 |    <widget class="QTextEdit" name="Text_InputChars">
 98 |     <property name="geometry">
 99 |      <rect>
100 |       <x>570</x>
101 |       <y>230</y>
102 |       <width>571</width>
103 |       <height>51</height>
104 |      </rect>
105 |     </property>
106 |     <property name="html">
107 |      <string>&lt;!DOCTYPE HTML PUBLIC &quot;-//W3C//DTD HTML 4.0//EN&quot; &quot;http://www.w3.org/TR/REC-html40/strict.dtd&quot;&gt;
108 | &lt;html&gt;&lt;head&gt;&lt;meta name=&quot;qrichtext&quot; content=&quot;1&quot; /&gt;&lt;style type=&quot;text/css&quot;&gt;
109 | p, li { white-space: pre-wrap; }
110 | &lt;/style&gt;&lt;/head&gt;&lt;body style=&quot; font-family:'微软雅黑'; font-size:12pt; font-weight:400; font-style:normal;&quot;&gt;
111 | &lt;p style=&quot;-qt-paragraph-type:empty; margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;&quot;&gt;&lt;br /&gt;&lt;/p&gt;&lt;/body&gt;&lt;/html&gt;</string>
112 |     </property>
113 |    </widget>
114 |    <widget class="QTextEdit" name="textEdit_5">
115 |     <property name="geometry">
116 |      <rect>
117 |       <x>300</x>
118 |       <y>310</y>
119 |       <width>241</width>
120 |       <height>51</height>
121 |      </rect>
122 |     </property>
123 |     <property name="html">
124 |      <string>&lt;!DOCTYPE HTML PUBLIC &quot;-//W3C//DTD HTML 4.0//EN&quot; &quot;http://www.w3.org/TR/REC-html40/strict.dtd&quot;&gt;
125 | &lt;html&gt;&lt;head&gt;&lt;meta name=&quot;qrichtext&quot; content=&quot;1&quot; /&gt;&lt;style type=&quot;text/css&quot;&gt;
126 | p, li { white-space: pre-wrap; }
127 | &lt;/style&gt;&lt;/head&gt;&lt;body style=&quot; font-family:'微软雅黑'; font-size:12pt; font-weight:400; font-style:normal;&quot;&gt;
128 | &lt;p align=&quot;center&quot; style=&quot; margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;&quot;&gt;初始状态：&lt;/p&gt;&lt;/body&gt;&lt;/html&gt;</string>
129 |     </property>
130 |    </widget>
131 |    <widget class="QTextEdit" name="Text_StartStatus">
132 |     <property name="geometry">
133 |      <rect>
134 |       <x>570</x>
135 |       <y>310</y>
136 |       <width>571</width>
137 |       <height>51</height>
138 |      </rect>
139 |     </property>
140 |     <property name="html">
141 |      <string>&lt;!DOCTYPE HTML PUBLIC &quot;-//W3C//DTD HTML 4.0//EN&quot; &quot;http://www.w3.org/TR/REC-html40/strict.dtd&quot;&gt;
142 | &lt;html&gt;&lt;head&gt;&lt;meta name=&quot;qrichtext&quot; content=&quot;1&quot; /&gt;&lt;style type=&quot;text/css&quot;&gt;
143 | p, li { white-space: pre-wrap; }
144 | &lt;/style&gt;&lt;/head&gt;&lt;body style=&quot; font-family:'微软雅黑'; font-size:12pt; font-weight:400; font-style:normal;&quot;&gt;
145 | &lt;p style=&quot;-qt-paragraph-type:empty; margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;&quot;&gt;&lt;br /&gt;&lt;/p&gt;&lt;/body&gt;&lt;/html&gt;</string>
146 |     </property>
147 |    </widget>
148 |    <widget class="QTextEdit" name="textEdit_7">
149 |     <property name="geometry">
150 |      <rect>
151 |       <x>300</x>
152 |       <y>390</y>
153 |       <width>241</width>
154 |       <height>51</height>
155 |      </rect>
156 |     </property>
157 |     <property name="html">
158 |      <string>&lt;!DOCTYPE HTML PUBLIC &quot;-//W3C//DTD HTML 4.0//EN&quot; &quot;http://www.w3.org/TR/REC-html40/strict.dtd&quot;&gt;
159 | &lt;html&gt;&lt;head&gt;&lt;meta name=&quot;qrichtext&quot; content=&quot;1&quot; /&gt;&lt;style type=&quot;text/css&quot;&gt;
160 | p, li { white-space: pre-wrap; }
161 | &lt;/style&gt;&lt;/head&gt;&lt;body style=&quot; font-family:'微软雅黑'; font-size:12pt; font-weight:400; font-style:normal;&quot;&gt;
162 | &lt;p align=&quot;center&quot; style=&quot; margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;&quot;&gt;终止状态：&lt;/p&gt;&lt;/body&gt;&lt;/html&gt;</string>
163 |     </property>
164 |    </widget>
165 |    <widget class="QTextEdit" name="Text_EndStatus">
166 |     <property name="geometry">
167 |      <rect>
168 |       <x>570</x>
169 |       <y>390</y>
170 |       <width>571</width>
171 |       <height>51</height>
172 |      </rect>
173 |     </property>
174 |     <property name="html">
175 |      <string>&lt;!DOCTYPE HTML PUBLIC &quot;-//W3C//DTD HTML 4.0//EN&quot; &quot;http://www.w3.org/TR/REC-html40/strict.dtd&quot;&gt;
176 | &lt;html&gt;&lt;head&gt;&lt;meta name=&quot;qrichtext&quot; content=&quot;1&quot; /&gt;&lt;style type=&quot;text/css&quot;&gt;
177 | p, li { white-space: pre-wrap; }
178 | &lt;/style&gt;&lt;/head&gt;&lt;body style=&quot; font-family:'微软雅黑'; font-size:12pt; font-weight:400; font-style:normal;&quot;&gt;
179 | &lt;p style=&quot;-qt-paragraph-type:empty; margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;&quot;&gt;&lt;br /&gt;&lt;/p&gt;&lt;/body&gt;&lt;/html&gt;</string>
180 |     </property>
181 |    </widget>
182 |    <widget class="QListWidget" name="List_NowRules">
183 |     <property name="geometry">
184 |      <rect>
185 |       <x>1190</x>
186 |       <y>190</y>
187 |       <width>201</width>
188 |       <height>331</height>
189 |      </rect>
190 |     </property>
191 |    </widget>
192 |    <widget class="QTextEdit" name="textEdit_9">
193 |     <property name="geometry">
194 |      <rect>
195 |       <x>1190</x>
196 |       <y>140</y>
197 |       <width>201</width>
198 |       <height>51</height>
199 |      </rect>
200 |     </property>
201 |     <property name="html">
202 |      <string>&lt;!DOCTYPE HTML PUBLIC &quot;-//W3C//DTD HTML 4.0//EN&quot; &quot;http://www.w3.org/TR/REC-html40/strict.dtd&quot;&gt;
203 | &lt;html&gt;&lt;head&gt;&lt;meta name=&quot;qrichtext&quot; content=&quot;1&quot; /&gt;&lt;style type=&quot;text/css&quot;&gt;
204 | p, li { white-space: pre-wrap; }
205 | &lt;/style&gt;&lt;/head&gt;&lt;body style=&quot; font-family:'微软雅黑'; font-size:12pt; font-weight:400; font-style:normal;&quot;&gt;
206 | &lt;p align=&quot;center&quot; style=&quot; margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;&quot;&gt;规则列表&lt;/p&gt;&lt;/body&gt;&lt;/html&gt;</string>
207 |     </property>
208 |    </widget>
209 |    <widget class="QLineEdit" name="Input_Chars">
210 |     <property name="geometry">
211 |      <rect>
212 |       <x>570</x>
213 |       <y>470</y>
214 |       <width>571</width>
215 |       <height>51</height>
216 |      </rect>
217 |     </property>
218 |    </widget>
219 |    <widget class="QTextEdit" name="textEdit_10">
220 |     <property name="geometry">
221 |      <rect>
222 |       <x>300</x>
223 |       <y>470</y>
224 |       <width>241</width>
225 |       <height>51</height>
226 |      </rect>
227 |     </property>
228 |     <property name="html">
229 |      <string>&lt;!DOCTYPE HTML PUBLIC &quot;-//W3C//DTD HTML 4.0//EN&quot; &quot;http://www.w3.org/TR/REC-html40/strict.dtd&quot;&gt;
230 | &lt;html&gt;&lt;head&gt;&lt;meta name=&quot;qrichtext&quot; content=&quot;1&quot; /&gt;&lt;style type=&quot;text/css&quot;&gt;
231 | p, li { white-space: pre-wrap; }
232 | &lt;/style&gt;&lt;/head&gt;&lt;body style=&quot; font-family:'微软雅黑'; font-size:12pt; font-weight:400; font-style:normal;&quot;&gt;
233 | &lt;p align=&quot;center&quot; style=&quot; margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;&quot;&gt;输入纸带：&lt;/p&gt;&lt;/body&gt;&lt;/html&gt;</string>
234 |     </property>
235 |    </widget>
236 |    <widget class="QPushButton" name="PB_Start">
237 |     <property name="geometry">
238 |      <rect>
239 |       <x>300</x>
240 |       <y>540</y>
241 |       <width>200</width>
242 |       <height>80</height>
243 |      </rect>
244 |     </property>
245 |     <property name="text">
246 |      <string>开始运行</string>
247 |     </property>
248 |    </widget>
249 |    <widget class="QPushButton" name="PB_OneStep">
250 |     <property name="geometry">
251 |      <rect>
252 |       <x>530</x>
253 |       <y>540</y>
254 |       <width>200</width>
255 |       <height>80</height>
256 |      </rect>
257 |     </property>
258 |     <property name="text">
259 |      <string>单步运行</string>
260 |     </property>
261 |    </widget>
262 |    <widget class="QPushButton" name="PB_AllStep">
263 |     <property name="geometry">
264 |      <rect>
265 |       <x>760</x>
266 |       <y>540</y>
267 |       <width>200</width>
268 |       <height>80</height>
269 |      </rect>
270 |     </property>
271 |     <property name="text">
272 |      <string>一键运行</string>
273 |     </property>
274 |    </widget>
275 |    <widget class="QTableWidget" name="Table">
276 |     <property name="geometry">
277 |      <rect>
278 |       <x>50</x>
279 |       <y>700</y>
280 |       <width>1341</width>
281 |       <height>150</height>
282 |      </rect>
283 |     </property>
284 |    </widget>
285 |    <widget class="QTextEdit" name="textEdit_11">
286 |     <property name="geometry">
287 |      <rect>
288 |       <x>970</x>
289 |       <y>560</y>
290 |       <width>191</width>
291 |       <height>51</height>
292 |      </rect>
293 |     </property>
294 |     <property name="html">
295 |      <string>&lt;!DOCTYPE HTML PUBLIC &quot;-//W3C//DTD HTML 4.0//EN&quot; &quot;http://www.w3.org/TR/REC-html40/strict.dtd&quot;&gt;
296 | &lt;html&gt;&lt;head&gt;&lt;meta name=&quot;qrichtext&quot; content=&quot;1&quot; /&gt;&lt;style type=&quot;text/css&quot;&gt;
297 | p, li { white-space: pre-wrap; }
298 | &lt;/style&gt;&lt;/head&gt;&lt;body style=&quot; font-family:'微软雅黑'; font-size:12pt; font-weight:400; font-style:normal;&quot;&gt;
299 | &lt;p align=&quot;center&quot; style=&quot; margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;&quot;&gt;当前规则：&lt;/p&gt;&lt;/body&gt;&lt;/html&gt;</string>
300 |     </property>
301 |    </widget>
302 |    <widget class="QTextEdit" name="Text_thisRule">
303 |     <property name="geometry">
304 |      <rect>
305 |       <x>1180</x>
306 |       <y>560</y>
307 |       <width>241</width>
308 |       <height>51</height>
309 |      </rect>
310 |     </property>
311 |     <property name="html">
312 |      <string>&lt;!DOCTYPE HTML PUBLIC &quot;-//W3C//DTD HTML 4.0//EN&quot; &quot;http://www.w3.org/TR/REC-html40/strict.dtd&quot;&gt;
313 | &lt;html&gt;&lt;head&gt;&lt;meta name=&quot;qrichtext&quot; content=&quot;1&quot; /&gt;&lt;style type=&quot;text/css&quot;&gt;
314 | p, li { white-space: pre-wrap; }
315 | &lt;/style&gt;&lt;/head&gt;&lt;body style=&quot; font-family:'微软雅黑'; font-size:12pt; font-weight:400; font-style:normal;&quot;&gt;
316 | &lt;p style=&quot;-qt-paragraph-type:empty; margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;&quot;&gt;&lt;br /&gt;&lt;/p&gt;&lt;/body&gt;&lt;/html&gt;</string>
317 |     </property>
318 |    </widget>
319 |    <zorder>PB_InputRule</zorder>
320 |    <zorder>List_InputRules</zorder>
321 |    <zorder>textEdit</zorder>
322 |    <zorder>Text_StatusSet</zorder>
323 |    <zorder>textEdit_3</zorder>
324 |    <zorder>Text_InputChars</zorder>
325 |    <zorder>textEdit_5</zorder>
326 |    <zorder>Text_StartStatus</zorder>
327 |    <zorder>textEdit_7</zorder>
328 |    <zorder>Text_EndStatus</zorder>
329 |    <zorder>List_NowRules</zorder>
330 |    <zorder>textEdit_9</zorder>
331 |    <zorder>Input_Chars</zorder>
332 |    <zorder>textEdit_10</zorder>
333 |    <zorder>PB_Start</zorder>
334 |    <zorder>PB_OneStep</zorder>
335 |    <zorder>Table</zorder>
336 |    <zorder>textEdit_11</zorder>
337 |    <zorder>PB_AllStep</zorder>
338 |    <zorder>Text_thisRule</zorder>
339 |   </widget>
340 |  </widget>
341 |  <layoutdefault spacing="6" margin="11"/>
342 |  <resources/>
343 |  <connections/>
344 | </ui>
345 | 


--------------------------------------------------------------------------------
/myTurningMachine/myTurningMachine.pro:
--------------------------------------------------------------------------------
 1 | #-------------------------------------------------
 2 | #
 3 | # Project created by QtCreator 2021-12-14T12:55:09
 4 | #
 5 | #-------------------------------------------------
 6 | 
 7 | QT       += core gui
 8 | 
 9 | greaterThan(QT_MAJOR_VERSION, 4): QT += widgets
10 | 
11 | TARGET = myTurningMachine
12 | TEMPLATE = app
13 | 
14 | # The following define makes your compiler emit warnings if you use
15 | # any feature of Qt which has been marked as deprecated (the exact warnings
16 | # depend on your compiler). Please consult the documentation of the
17 | # deprecated API in order to know how to port your code away from it.
18 | DEFINES += QT_DEPRECATED_WARNINGS
19 | 
20 | # You can also make your code fail to compile if you use deprecated APIs.
21 | # In order to do so, uncomment the following line.
22 | # You can also select to disable deprecated APIs only up to a certain version of Qt.
23 | #DEFINES += QT_DISABLE_DEPRECATED_BEFORE=0x060000    # disables all the APIs deprecated before Qt 6.0.0
24 | 
25 | CONFIG += c++11
26 | 
27 | SOURCES += \
28 |         main.cpp \
29 |         mainwindow.cpp \
30 |         pending.cpp
31 | 
32 | HEADERS += \
33 |         mainwindow.h \
34 |         pending.h
35 | 
36 | FORMS += \
37 |         mainwindow.ui \
38 |         pending.ui
39 | 
40 | # Default rules for deployment.
41 | qnx: target.path = /tmp/$${TARGET}/bin
42 | else: unix:!android: target.path = /opt/$${TARGET}/bin
43 | !isEmpty(target.path): INSTALLS += target
44 | 


--------------------------------------------------------------------------------
/myTurningMachine/pending.cpp:
--------------------------------------------------------------------------------
 1 | #include "pending.h"
 2 | #include "ui_pending.h"
 3 | 
 4 | Pending::Pending(QWidget *parent) :
 5 |     QWidget(parent),
 6 |     ui(new Ui::Pending)
 7 | {
 8 |     ui->setupUi(this);
 9 | }
10 | 
11 | Pending::~Pending()
12 | {
13 |     delete ui;
14 | }
15 | 


--------------------------------------------------------------------------------
/myTurningMachine/pending.h:
--------------------------------------------------------------------------------
 1 | #ifndef PENDING_H
 2 | #define PENDING_H
 3 | 
 4 | #include <QWidget>
 5 | 
 6 | namespace Ui {
 7 | class Pending;
 8 | }
 9 | 
10 | class Pending : public QWidget
11 | {
12 |     Q_OBJECT
13 | 
14 | public:
15 |     explicit Pending(QWidget *parent = nullptr);
16 |     ~Pending();
17 | 
18 | private:
19 |     Ui::Pending *ui;
20 | };
21 | 
22 | #endif // PENDING_H
23 | 


--------------------------------------------------------------------------------
/myTurningMachine/pending.ui:
--------------------------------------------------------------------------------
 1 | <?xml version="1.0" encoding="UTF-8"?>
 2 | <ui version="4.0">
 3 |  <class>Pending</class>
 4 |  <widget class="QWidget" name="Pending">
 5 |   <property name="geometry">
 6 |    <rect>
 7 |     <x>0</x>
 8 |     <y>0</y>
 9 |     <width>450</width>
10 |     <height>46</height>
11 |    </rect>
12 |   </property>
13 |   <property name="windowTitle">
14 |    <string>正在运行...</string>
15 |   </property>
16 |  </widget>
17 |  <resources/>
18 |  <connections/>
19 | </ui>
20 | 


--------------------------------------------------------------------------------
/rules/0^n1^n.txt:
--------------------------------------------------------------------------------
 1 | 0^n1^n, 13
 2 | q0,q1,q2,q3,q4,q5
 3 | 0,1
 4 | 0
 5 | 5
 6 | 0 ,0 ,1 ,X ,R
 7 | 0 ,Y ,3 ,Y ,R
 8 | 1 ,0 ,1 ,0 ,R
 9 | 1 ,1 ,2 ,Y ,L
10 | 1 ,Y ,1 ,Y ,R
11 | 2 ,0 ,2 ,0 ,L
12 | 2 ,X ,0 ,X ,R
13 | 2 ,Y ,2 ,Y ,L
14 | 3 ,Y ,3 ,Y ,R
15 | 3 ,B ,4 ,B ,L
16 | 4 ,X ,4 ,0 ,L
17 | 4 ,Y ,4 ,1 ,L
18 | 4 ,B ,5 ,B ,R


--------------------------------------------------------------------------------
/rules/aMODe.txt:
--------------------------------------------------------------------------------
 1 | aMODe, 17
 2 | q0,q1,q2,q3,q4,q5,q6
 3 | a,0,e
 4 | 0
 5 | 6
 6 | 0,a,1,A,R
 7 | 0,0,6,0,S
 8 | 1,a,1,a,R
 9 | 1,0,2,0,R
10 | 2,e,3,E,R
11 | 2,E,2,E,R
12 | 3,e,4,e,L
13 | 3,B,5,B,L
14 | 4,0,4,0,L
15 | 4,a,4,a,L
16 | 4,e,4,e,L
17 | 4,E,4,E,L
18 | 4,A,0,A,R
19 | 5,E,5,e,L
20 | 5,0,5,0,L
21 | 5,a,5,a,L
22 | 5,A,0,A,R
23 | 


--------------------------------------------------------------------------------
/rules/binary.txt:
--------------------------------------------------------------------------------
 1 | binary,30
 2 | q0,q1,q2,q3,q4,q5,q6,q7,q8
 3 | a
 4 | 0
 5 | 8
 6 | 0,c,0,c,R
 7 | 0,a,1,c,R
 8 | 0,0,6,0,L
 9 | 0,1,6,1,L
10 | 1,c,1,c,R
11 | 1,a,2,a,R
12 | 1,0,3,0,S
13 | 1,1,3,1,S
14 | 1,B,3,B,S
15 | 2,c,2,c,R
16 | 2,a,1,c,R
17 | 2,0,4,0,S
18 | 2,1,4,1,S
19 | 2,B,4,B,S
20 | 3,1,3,1,R
21 | 3,0,4,1,R
22 | 3,B,5,1,L
23 | 4,0,4,0,R
24 | 4,1,3,0,R
25 | 4,B,5,0,L
26 | 5,a,5,a,L
27 | 5,c,5,c,L
28 | 5,0,5,0,L
29 | 5,1,5,1,L
30 | 5,B,0,B,R
31 | 6,c,6,c,L
32 | 6,B,7,B,R
33 | 7,c,7,B,R
34 | 7,0,8,0,S
35 | 7,1,8,1,S


--------------------------------------------------------------------------------
/rules/log2.txt:
--------------------------------------------------------------------------------
 1 | log2,17
 2 | q0,q1,q2,q3,q4,q5
 3 | a
 4 | 0
 5 | 5
 6 | 0,c,0,c,R
 7 | 0,a,1,c,R
 8 | 0,b,4,B,L
 9 | 1,b,1,b,R
10 | 1,c,1,c,R
11 | 1,a,2,a,R
12 | 1,B,3,b,L
13 | 2,b,2,b,R
14 | 2,c,2,c,R
15 | 2,a,1,c,R
16 | 2,B,3,b,L
17 | 3,a,3,a,L
18 | 3,b,3,b,L
19 | 3,c,3,c,L
20 | 3,B,0,B,R
21 | 4,c,4,B,L
22 | 4,B,5,B,R


--------------------------------------------------------------------------------
/rules/m-n.txt:
--------------------------------------------------------------------------------
 1 | m-n,16
 2 | q0,q1,q2,q3,q4,q5,q6
 3 | 0,1
 4 | 0
 5 | 6
 6 | 0,0,1,B,R
 7 | 0,1,5,B,R
 8 | 1,0,1,0,R
 9 | 1,1,2,1,R
10 | 2,1,2,1,R
11 | 2,0,4,1,L
12 | 2,B,3,B,L
13 | 3,0,3,0,L
14 | 3,1,3,B,L
15 | 3,B,6,0,S
16 | 4,0,4,0,L
17 | 4,1,4,1,L
18 | 4,B,0,B,R
19 | 5,0,5,B,R
20 | 5,1,5,B,R
21 | 5,B,6,B,S


--------------------------------------------------------------------------------
/rules/wcw.txt:
--------------------------------------------------------------------------------
 1 | wcw, 33
 2 | q0,q1,q2,q3,q4,q5,q6,q7,q8,q9,q10
 3 | a,b,c
 4 | 0
 5 | 10
 6 | 0,a,1,X,R
 7 | 0,b,3,Y,R
 8 | 1,a,1,a,R
 9 | 1,b,1,b,R
10 | 1,c,2,c,R
11 | 2,X,2,X,R
12 | 2,Y,2,Y,R
13 | 2,a,5,X,L
14 | 3,a,3,a,R
15 | 3,b,3,b,R
16 | 3,c,4,c,R
17 | 4,X,4,X,R
18 | 4,Y,4,Y,R
19 | 4,b,5,Y,L
20 | 5,X,5,X,L
21 | 5,Y,5,Y,L
22 | 5,c,6,c,L
23 | 6,a,7,a,L
24 | 6,b,7,b,L
25 | 6,X,8,X,R
26 | 6,Y,8,Y,R
27 | 7,a,7,a,L
28 | 7,b,7,b,L
29 | 7,X,0,X,R
30 | 7,Y,0,Y,R
31 | 8,X,8,X,R
32 | 8,Y,8,Y,R
33 | 8,c,8,c,R
34 | 8,B,9,B,L
35 | 9,c,9,c,L
36 | 9,X,9,a,L
37 | 9,Y,9,b,L
38 | 9,B,10,B,R


--------------------------------------------------------------------------------