peplxx / autofsa

Verification and vizualization tool for fsa's

AutoFSA

This repository contains Tool for verification and visualization of FAS's.

Setup

1. Clone the repository: git clone https://github.com/peplxx/AutoFSA.git

2. Install graphviz library: pip install graphviz

3. Install graphviz

4. Write and run your code

   For clarification see examples.

Features

• Provides functionality to create a Finite State Automaton (FSA).
• Support of 'and' and 'or' operations under two different fsa's.
• Allows definition of a different language set for the FSA.
• Includes methods to add start nodes, end nodes, and connecting edges between nodes with specific language components.
• Capable of rendering the FSA graph using graphviz library in various output formats (e.g., jpg).
• Checks for completeness of the FSA graph structure.
• Offers a clean and structured design for handling complex FSA workflows.
• Config for customization for different statuses of nodes.

Gallary

• Green means entry node, red means end nodes

FSA Specification	Visualization