364 lines
9.6 KiB
C++
364 lines
9.6 KiB
C++
#include "mainwindow.h"
|
|
#include "ui_mainwindow.h"
|
|
#define START_X 40
|
|
#define START_Y 40
|
|
#define DELTA_Y 40
|
|
#define LABEL_X 20
|
|
#define LABEL_Y 30
|
|
#define LINE_X 200
|
|
#define LINE_Y 30
|
|
#define X 30
|
|
#define Y 500
|
|
#define SIZE 100
|
|
|
|
QString filepath="";
|
|
QStringList K;
|
|
QStringList Sigma;
|
|
QStringList Q0;
|
|
QStringList B;
|
|
QStringList F;
|
|
|
|
QString function[SIZE][5];
|
|
|
|
QString q;
|
|
int now;
|
|
|
|
|
|
MainWindow::MainWindow(QWidget *parent)
|
|
: QMainWindow(parent)
|
|
, ui(new Ui::MainWindow)
|
|
{
|
|
ui->setupUi(this);
|
|
this->setFixedSize(1000, 700);
|
|
this->setWindowTitle("Universal Turing Machine");
|
|
|
|
qDebug()<<filepath;
|
|
|
|
label_k = new QLabel(this);
|
|
label_k->setGeometry(START_X, START_Y+DELTA_Y*0, LABEL_X, LABEL_Y);
|
|
label_k->setAlignment(Qt::AlignCenter);
|
|
label_k->setText("\n 状态集合:");
|
|
|
|
label_sigma = new QLabel(this);
|
|
label_sigma->setGeometry(START_X, START_Y+DELTA_Y*1, LABEL_X, LABEL_Y);
|
|
label_sigma->setAlignment(Qt::AlignCenter);
|
|
label_sigma->setText("\n 带上符号:");
|
|
|
|
label_q0 = new QLabel(this);
|
|
label_q0->setGeometry(START_X, START_Y+DELTA_Y*3, LABEL_X, LABEL_Y);
|
|
label_q0->setAlignment(Qt::AlignCenter);
|
|
label_q0->setText(" 开始状态:");
|
|
|
|
label_B = new QLabel(this);
|
|
label_B->setGeometry(START_X, START_Y+DELTA_Y*4, LABEL_X, LABEL_Y);
|
|
label_B->setAlignment(Qt::AlignVCenter);
|
|
label_B->setText(" 空白符:\n");
|
|
|
|
label_F = new QLabel(this);
|
|
label_F->setGeometry(START_X, START_Y+DELTA_Y*5, LABEL_X, LABEL_Y);
|
|
label_F->setAlignment(Qt::AlignVCenter);
|
|
label_F->setText(" 终止状态:\n");
|
|
|
|
line_k = new QLineEdit(this);
|
|
line_k->setFixedSize(LINE_X,LINE_Y);
|
|
line_sigma = new QLineEdit(this);
|
|
line_sigma->setFixedSize(LINE_X,LINE_Y);
|
|
line_q0 = new QLineEdit(this);
|
|
line_q0->setFixedSize(LINE_X,LINE_Y);
|
|
line_B = new QLineEdit(this);
|
|
line_B->setFixedSize(LINE_X,LINE_Y);
|
|
line_F = new QLineEdit(this);
|
|
line_F->setFixedSize(LINE_X,LINE_Y);
|
|
|
|
layout_label = new QVBoxLayout(this);
|
|
layout_label->addWidget(label_k);
|
|
layout_label->addWidget(label_sigma);
|
|
layout_label->addWidget(label_q0);
|
|
layout_label->addWidget(label_B);
|
|
layout_label->addWidget(label_F);
|
|
|
|
layout_line = new QVBoxLayout(this);
|
|
layout_line->addWidget(line_k);
|
|
layout_line->addWidget(line_sigma);
|
|
layout_line->addWidget(line_q0);
|
|
layout_line->addWidget(line_B);
|
|
layout_line->addWidget(line_F);
|
|
|
|
layout_1=new QHBoxLayout(this);
|
|
layout_1->addLayout(layout_label);
|
|
layout_1->addLayout(layout_line);
|
|
|
|
group_1=new QGroupBox(this);
|
|
group_1->setGeometry(40, 50, 300, 390);
|
|
group_1->setLayout(layout_1);
|
|
|
|
//配置文件引入窗
|
|
list_file = new QListWidget(this);
|
|
list_file->setGeometry(380, 50, 220, 240);
|
|
|
|
loadFileList();
|
|
|
|
btn_import = new QPushButton(this);
|
|
btn_import->setGeometry(380, 320, 220, 40);
|
|
btn_import->setText("导入文件");
|
|
|
|
//状态转移函数框
|
|
list_func = new QListWidget(this);
|
|
list_func->setGeometry(640, 50, 340, 300);
|
|
list_func->setWrapping(true);
|
|
|
|
//输入纸带
|
|
label_str = new QLabel(this);
|
|
label_str->setGeometry(380, 395, 60, 30);
|
|
label_str->setText("输入纸带:");
|
|
|
|
line_str = new QLineEdit(this);
|
|
line_str->setGeometry(440,390,420,40);
|
|
|
|
btn_confirm = new QPushButton(this);
|
|
btn_confirm->setGeometry(870, 390, 50, 40);
|
|
btn_confirm->setText("确认");
|
|
|
|
btn_step = new QPushButton(this);
|
|
btn_step->setGeometry(930, 390, 50, 40);
|
|
btn_step->setText("下一步");
|
|
|
|
//纸带
|
|
for(int i=0;i<25;i++)
|
|
{
|
|
label[i]=new MyLabel(this);
|
|
label[i]->setPos(X+40*i,Y);
|
|
label[i]->hide();
|
|
}
|
|
|
|
label_now=new MyLabel(this);
|
|
label_now->setStyleSheet("border-width: 2px;border-style: solid;border-color: rgb(236, 255, 251);background-color: rgb(20, 250, 20);");
|
|
label_now->setFixedSize(40,35);
|
|
label_now->hide();
|
|
|
|
label_fun = new QLabel(this);
|
|
label_fun->setGeometry(X+50,Y-40, 500,30);
|
|
label_fun->setAlignment(Qt::AlignCenter);
|
|
label_fun->setText("状态转移函数：");
|
|
|
|
//connect
|
|
QObject::connect(btn_import, SIGNAL(clicked()), this, SLOT(importFile()));
|
|
QObject::connect(btn_confirm, SIGNAL(clicked()), this, SLOT(startSimulate()));
|
|
QObject::connect(btn_step, SIGNAL(clicked()), this, SLOT(nextStep()));
|
|
}
|
|
|
|
MainWindow::~MainWindow()
|
|
{
|
|
delete ui;
|
|
}
|
|
|
|
void MainWindow::importFile()
|
|
{
|
|
qDebug()<<"import1";
|
|
K.clear();
|
|
Sigma.clear();
|
|
Q0.clear();
|
|
B.clear();
|
|
F.clear();
|
|
int row=list_file->currentRow();
|
|
list_func->clear();
|
|
QFile file(filepath + QString::number(row) + ".txt");
|
|
qDebug()<<"import3";
|
|
if(file.open(QIODevice::ReadOnly | QIODevice::Text))
|
|
{
|
|
QTextStream in(&file);
|
|
QString temp;
|
|
int i=0;
|
|
while(1)
|
|
{
|
|
temp=in.readLine();
|
|
if(temp.size()==0)
|
|
break;
|
|
qDebug()<<"import1";
|
|
QStringList list = temp.split(" ");
|
|
qDebug()<<"import2";
|
|
list[0]="q"+list[0];
|
|
if(list.size()>2)
|
|
list[2]="q"+list[2];
|
|
qDebug()<<"import3";
|
|
if(list.contains("#"))
|
|
{
|
|
function[i][0]=list[0];
|
|
function[i][1]=list[1];
|
|
}
|
|
else
|
|
for(int j=0;j<5;j++)
|
|
function[i][j]=list[j];
|
|
qDebug()<<"import4";
|
|
if(list.contains("#"))
|
|
append(&F,list[0]);
|
|
else
|
|
{
|
|
qDebug()<<"import6";
|
|
list_func->addItem(" δ("+list[0]+","+list[1]+")=("+list[2]+","+list[3]+","+list[4]+") ");
|
|
append(&K,list[0]);
|
|
append(&Sigma,list[1]);
|
|
qDebug()<<"import7";
|
|
}
|
|
qDebug()<<"import5"<<i;
|
|
i++;
|
|
}
|
|
}
|
|
file.close();
|
|
QString k,sigma,q0,b,f;
|
|
qDebug()<<"import126";
|
|
|
|
q0="q0";
|
|
for(int i=0;i<K.size();i++)
|
|
k+=(K[i]+" ");
|
|
for(int i=0;i<Sigma.size();i++)
|
|
sigma+=(Sigma[i]+" ");
|
|
for(int i=0;i<F.size();i++)
|
|
f+=(F[i]+" ");
|
|
b="B";
|
|
Q0.append("q0");
|
|
|
|
line_k->setText(k);
|
|
line_sigma->setText(sigma);
|
|
line_q0->setText(q0);
|
|
line_B->setText(b);
|
|
line_F->setText(f);
|
|
|
|
line_k->setEnabled(false);
|
|
line_sigma->setEnabled(false);
|
|
line_q0->setEnabled(false);
|
|
line_B->setEnabled(false);
|
|
line_F->setEnabled(false);
|
|
|
|
qDebug()<<"import12";
|
|
}
|
|
|
|
void MainWindow::startSimulate()
|
|
{
|
|
for(int i=0;i<25;i++)
|
|
label[i]->hide();
|
|
//qDebug()<<"1";
|
|
if(line_str->text().length()==0)
|
|
return;
|
|
str="BBB"+line_str->text()+"BB";
|
|
label[2]->setText("B");
|
|
label[2]->show();
|
|
// for(int i=3;i<str.length();i++)
|
|
// {
|
|
// label[i]->setText(str[i]);
|
|
// label[i]->show();
|
|
// }
|
|
|
|
now = 3;
|
|
label_now->setPos(X+40*3,Y+55);
|
|
label_now->show();
|
|
|
|
q=Q0[0];
|
|
label_now->setText(q);
|
|
|
|
update(0);
|
|
}
|
|
|
|
void MainWindow::nextStep()
|
|
{
|
|
bool flag=false;
|
|
QChar c = str[now];
|
|
QString comp;
|
|
qDebug()<<"next0";
|
|
comp+=c;
|
|
qDebug()<<"next1";
|
|
for(int i=0;i<SIZE;i++)
|
|
{
|
|
qDebug()<<"next2";
|
|
qDebug()<<q<<function[i][0];
|
|
if(function[i][0]==q&&function[i][1]==comp)
|
|
{
|
|
flag=true;
|
|
qDebug()<<"next3";
|
|
q=function[i][2];
|
|
str[now]=function[i][3][0];
|
|
label_fun->setText("δ("+function[i][0]+","+function[i][1]+")=("+function[i][2]+","+function[i][3]+","+function[i][4]+")");
|
|
qDebug()<<("δ("+function[i][0]+","+function[i][1]+")=("+function[i][2]+","+function[i][3]+","+function[i][4]+")");
|
|
if(comp=="B" && now==str.length()-1)
|
|
{
|
|
str+="B";
|
|
}
|
|
|
|
if(function[i][4]=="R"){
|
|
now++;
|
|
update(1);
|
|
}else if(function[i][4]=="L"){
|
|
now--;
|
|
update(-1);
|
|
}else{
|
|
update(0);
|
|
}
|
|
break;
|
|
}
|
|
|
|
if(function[i][0].length()==0)
|
|
break;
|
|
}
|
|
if(flag==false)
|
|
QMessageBox::warning(0 , " 失败！ ", " 失败！ ",QMessageBox::Ok | QMessageBox::Default , QMessageBox::Cancel | QMessageBox::Escape );
|
|
|
|
if(F.contains(q))
|
|
{
|
|
QMessageBox::information(0 , " 成功！ "," 成功！ ", QMessageBox::Ok | QMessageBox::Default , QMessageBox::Cancel | QMessageBox::Escape );
|
|
//终止状态
|
|
}
|
|
}
|
|
|
|
void MainWindow::loadFileList()
|
|
{
|
|
QFile file(filepath+"filelist.txt");
|
|
if(file.open(QIODevice::ReadOnly | QIODevice::Text))
|
|
{
|
|
QTextStream in(&file);
|
|
QString temp;
|
|
while(1)
|
|
{
|
|
temp=in.readLine();
|
|
if(temp.size()==0)
|
|
break;
|
|
QStringList list = temp.split(" ");
|
|
list_file->addItem(list[1]);
|
|
}
|
|
}
|
|
}
|
|
|
|
void MainWindow::append(QStringList* list,QString in)
|
|
{
|
|
int flag=0;
|
|
for(int i=0;i<list->size();i++)
|
|
{
|
|
if(list->contains(in))
|
|
return;
|
|
}
|
|
if(flag==0)
|
|
list->append(in);
|
|
}
|
|
|
|
void MainWindow::update(int move_q)
|
|
{
|
|
|
|
label_now->setPos(label_now->pos().width()+move_q*40,label_now->pos().height());
|
|
label_now->setText(q);
|
|
qDebug()<<"update"<<move_q;
|
|
for(int i=0;i<str.length();i++)
|
|
{
|
|
label[i]->setText(str[i]);
|
|
label[i]->show();
|
|
if(i<=2&&str[i]=='B'&&str[i+1]=='B')
|
|
label[i]->hide();
|
|
if(i==str.length()-2&&str[i]=='B')
|
|
{
|
|
label[i]->setText(str[i+1]);
|
|
label[i]->show();
|
|
break;
|
|
}
|
|
}
|
|
|
|
qDebug()<<"ipdate2";
|
|
}
|