fsm-tools

A formal Python library for modelling automata in the Chomsky hierarchy.

fsm-tools provides a rigorous, educational implementation of the four automaton families defined by Chomsky’s grammar and language hierarchy. Each class is a formal restriction of the one above it — inheriting its structure and constraining it further.

Type	Automaton	Language family	Status
0	TuringMachine	Recursively enumerable	✅ v0.0.4
1	LinearBoundedAutomaton	Context-sensitive	✅ v0.0.4
2	PushdownAutomaton	Context-free	✅ v0.1.0
3	FiniteStateAutomaton	Regular	🔄 planned v0.2.0

Theory & Data Structures

• 1. Theory & Data Structures
  • 1.1. Introduction to Formal Language Theory
  • 1.2. Grammar as a Data Structure
  • 1.3. The Chomsky Hierarchy

User Guide

• 1. User Guide
  • 1.1. Installation
  • 1.2. Quick Start
  • 1.3. User Guide

API Reference

• API Reference
  • Advanced Automata
  • Extended Automata
  • Exceptions

Indices and references

• Index

• Module Index

• Search Page