An open API service indexing awesome lists of open source software.

https://github.com/melgoharyme/finite-automaton-acceptance-checker

This repository contains a Python program for checking the acceptability of strings in a Finite State Machine (FSM). The program allows users to define the FSM by providing the number of states, inputs, transitions, and final states. It then evaluates user-provided strings to determine if they are acceptable within the specified FSM.
https://github.com/melgoharyme/finite-automaton-acceptance-checker

automaton finite-automaton finite-automaton-comparator finite-automaton-simulator formal-languages formal-languages-and-automata formal-languages-compilers

Last synced: about 1 month ago
JSON representation

This repository contains a Python program for checking the acceptability of strings in a Finite State Machine (FSM). The program allows users to define the FSM by providing the number of states, inputs, transitions, and final states. It then evaluates user-provided strings to determine if they are acceptable within the specified FSM.

Awesome Lists containing this project

README

        

# Finite Automaton Acceptance Checker

This Python program allows users to define a Finite State Machine (FSM) and check the acceptability of strings within the specified FSM. Users can input details such as the number of states, inputs, transitions, and final states.

## Getting Started

### Prerequisites

Make sure you have Python installed. You can download it from [python.org](https://www.python.org/downloads/).

### Installation

1. Clone the repository:

```bash
git clone https://github.com/melgoharyme/Finite-Automaton-Acceptance-Checker.git
```

2. Navigate to the project directory:

```bash
cd Finite-Automaton-Acceptance-Checker
```

### Usage

Run the Python script:

```bash
python finite_automaton_checker.py
```

### License

This project is licensed under the MIT License - see the [LICENSE](LICENSE) file for details.

## Example

![Demo Image](https://github.com/mahmoudelgoharyme/Finite-Automaton-Acceptance-Checker/raw/main/demo.png)