Code Monkey home page Code Monkey logo

fla_lab's Introduction

代码说明

此代码用来实现一个多带 (确定性、多条无限纸带) 图灵机的模拟器,并且能够在上面正确模拟运行符合特定语法的图灵机程序。

软件依赖

本框架依赖于cmake进行编译,需安装3.13.0以上版本的cmake方可使用。

使用方法

本框架的使用方法为:

  1. 将所有.h 以及.cpp文件置于/turing-project文件夹下,或者将CmakeLists.txt复制至你的工程根目录
  2. 在工程根目录处,使用指令cmake -B build
  3. 在工程根目录处,使用指令cd ./build; make

测试框架将使用上述方法对工程进行编译。执行完毕后,在工程根目录下应当出现/bin文件夹,其中含有可执行文件turing,测试框架将对该可执行文件进行测试。

要点:提交时,你的工程根目录下应当有一个CmakeLists.txt文件用于指导cmake进行编译,且通过这种方式能够在/bin文件夹下生成可执行文件turing

fla_lab's People

Contributors

jonathanli19 avatar

Stargazers

 avatar

Watchers

 avatar

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.