Automata Python Packages

python-statemachine

Expressive statecharts and FSMs for modern Python.

929K 1K 103

pyformlang

A python library to manipulate formal languages and various automata

62K 60 13

automata-lib

A Python library for simulating finite automata, pushdown automata, and Turing machines

37K 402 72

pythomata

A Python package for automata theory.

9K 59 8

aalpy

An Automata Learning Library Written in Python

8K 231 40

cyac

High performance Trie and Ahocorasick automata (AC automata) Keyword Match & Replace Tool for python. Correct case insensitive implementation!

7K 94 15

acacia-boomslang

A minimal implementation of reactive synthesis via universal co-Buchi automata using antichains

4K 5 5

liblet

A teaching aid library for formal languages and compiler courses

2K 13 3

dfa-identify

Python library for identifying/learning DFAs from labeled examples by reduction to SAT.

1K 8 3

omega

Specify and synthesize systems using symbolic algorithms

954 53 5

flloat

A Python implementation of the FLLOAT library.

755 22 4

visual-automata

Visual Automata is a Python 3 library built as a wrapper for the Automata library to add more visualization features.

687 57 9

automathon

A Python library for simulating and visualizing finite automata

539 72 5

pytomatas

🧿 My own Python Library (available on PyPi) to implementate and simulate Automatons like DFA, NFA, PDA and Turing Machine for real projects, with documentation, examples and a project example :3

490 3 1

automython

A simplistic programming language interpreter to Python to help students grasp finite automata theory programmatically and with a computed graph through visualization libraries.

472 1 0