Skip to content

Pecco-314/fla-project

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

FLA-Project

本项目是南京大学《形式语言与自动机》课程的课程项目,实现了多带图灵机的解析和运行。

依赖

为了构建本项目,需要满足以下依赖条件:

  1. CMake:版本3.15.0或更高
  2. 编译器:支持C++17标准的C++编译器,例如GCC(版本7.0或更高)

构建

本项目使用CMake进行构建。进入项目文件夹下,然后执行命令:

cmake -B build && cmake --build build

如果成功,会在项目文件夹下创建一个build文件夹和一个bin文件夹,你可以在bin文件夹中找到一个名为turing的可执行文件。你可以执行以下命令来检验构建是否成功:

./bin/turing --help

如果打印出帮助信息,说明构建成功。

默认情况下构建的是Release版本,如果想构建Debug版本,可以执行以下命令:

cmake -B debug -DCMAKE_BUILD_TYPE=Debug && cmake --build debug

如果成功,你可以在bin文件夹中找到一个名为turing_d的可执行文件。

运行

基本用法为:

turing [-v|--verbose] [-h|--help] [-c|--color] [-w|--warn] <tm_path> <input>

其中,tm_path表示图灵机描述文件的路径,input表示输入,这里的输入是直接写在命令行里的。

通常情况下,程序只会打印图灵机运行的结果,但可以使用--verbose-v参数来获取更加详细的输出。

在终端环境下,程序会采用彩色输出。也可以使用--color-c参数来强制在非终端环境下也使用彩色输出。

使用--warn-w参数会在输入文件存在不规范的语法时给出警告。

可以使用--help-h参数获取帮助信息。

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published