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}