putuwaw / dfa-minimization

DFA Minimization using Table Filling Method

DFA-MINIMIZATION

DFA-Minimization is a website to minimize DFA using Table Filling Method.

Features💡

By using DFA-Minimization you can:

• Minimize DFA using Table Filling Method.
• Get description (transition diagram, transition table, and detailed description) of DFA before minimization.
• Get description (transition diagram, transition table, and detailed description) of DFA after minimization.

Technology 👨‍💻

DFA-Minimization is created using:

• Python - Python as the main programming language.
• Flask - Flask is a web framework for Python, based on the Werkzeug toolkit.
• PyScript - PyScript is a framework that allows to create rich Python applications in the browser.
• Bootstrap - Bootstrap is a front-end framework that allows for the creation of easy and responsive web layouts.
• Heroku - Heroku is a platform as a service (PaaS) that we use to deploy our apps.
• Docker - Docker is a platform for developing, shipping, and running our applications.

Structure 📂

DFA-Minimization
├── .github
├── handlers
├── docs
├── modules
├── static
│   ├── images
│   ├── scripts
│   └── styles
├── templates
├── tests
├── .gitignore
├── Dockerfile
├── LICENSE
├── Procfile
├── README.md
├── app.py
└── requirements.txt

• .github is a folder that used to place Github related stuff, like issue template and CI pipeline.
• handlers contain handler to handling HTTP request methods, especially POST method.
• docs contain documentation of this app.
• modules contain the main modules for minimizing DFA using Table Filling Method.
• static contain static files like images, CSS, and JavaScript files.
• templates contain the file that will be rendered for display in the browser.
• tests contain unit test to make sure the main module work properly.
• .gitignore is a file to exclude some folders like venv.
• LICENSE is a file that contains the license we use in this app.
• Dockerfile is a file that contains all the commands to build an image.
• Procfile is a file that specifies the commands that are executed by an Heroku app on startup.
• README.md is the file you are reading now.
• app.py is the main file of this app.
• requirements.txt is a file that contains a list of dependencies used in this app.

Requirements 📦

• Python 3.10 or later
• Docker 20.10.17 or later
• PyScript 2022.09.1 or later

Installation 🛠️

• Install Docker.
• Pull the image from Docker Hub:

docker pull putuwaw/dfa-minimization

• Run the downloaded image:

docker run -p 8000:8000 putuwaw/dfa-minimization

• Open web browser and visit:

localhost:8000

Contributors ✨

Putu Widyantara

Kevin Moses

Antonius Ata

Yoga Laksana