https://github.com/peplxx/autofsa
Verification and vizualization tool for fsa's
https://github.com/peplxx/autofsa
computer-sience fsa fst graphviz graphviz-dot
Last synced: 8 months ago
JSON representation
Verification and vizualization tool for fsa's
- Host: GitHub
- URL: https://github.com/peplxx/autofsa
- Owner: peplxx
- License: mit
- Created: 2024-02-16T15:34:57.000Z (over 2 years ago)
- Default Branch: main
- Last Pushed: 2024-02-27T10:30:57.000Z (over 2 years ago)
- Last Synced: 2025-09-08T03:48:05.899Z (9 months ago)
- Topics: computer-sience, fsa, fst, graphviz, graphviz-dot
- Language: Python
- Homepage:
- Size: 17.6 KB
- Stars: 1
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
## 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](https://www.graphviz.org/download/)
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
:-------------------------:|:-------------------------:
 | 
 | 
 | 
 | 
 | 