Automata Theory Python Packages

pythomata

A Python package for automata theory.

automython

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

fsmd

A python CLI tool for creating diagrams of finite state machines.

pbt4automata

Property-based testing utilities for finite automata and context-free grammars.

automata-toolkit

A tiny library which contains tools to convert, minimize and visualize Regular Expressions, NFA and DFA.

hoa-utils

Utilities for the HOA format.