Search Packages

pythomata

A Python package for automata theory.

aalpy

An Automata Learning Library Written in Python

fathon

python package for DFA (Detrended Fluctuation Analysis) and related algorithms

dfa

A simple python implementation of a DFA.

ltlf2dfa

From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)

dfa-identify

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

fluctuationanalysistools

Python library for DFA, Hurst exponent, and fluctuation analysis of time series.

nmfu

the "no memory for you" "parser" generator

visual-automata

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

automathon

A Python library for simulating and visualizing finite automata

automython

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

topylogic

Topologic Python Library. A library to simulate DFAs and Probabilistic DFAs using context switching. This library provides a way to build and define the behavior of a graph. The client is able to define the function each vertex and edge of the graph make and how the graph transitions from one (the first valid edge) or to many states, as well as which states the graph starts in.

regexsolver

RegexSolver allows you to manipulate regular expressions as sets, enabling operations such as intersection, union, and subtraction.

automata-toolkit

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

fsmdot

Implementation of finite-state machines and exportation to dot format