Skip to content

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.

License

Notifications You must be signed in to change notification settings

melgoharyme/Finite-Automaton-Acceptance-Checker

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

18 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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.

Installation

  1. Clone the repository:

    git clone https://github.com/melgoharyme/Finite-Automaton-Acceptance-Checker.git
  2. Navigate to the project directory:

    cd Finite-Automaton-Acceptance-Checker

Usage

Run the Python script:

python finite_automaton_checker.py

License

This project is licensed under the MIT License - see the LICENSE file for details.

Example

Demo Image

About

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.

Topics

Resources

License

Stars

Watchers

Forks

Languages