Home

Welcome to the pybdm-lba wiki!

The main wiki page of the project is: Documentation‐Wiki

The other pages refer to subproducts:

• Linear Bounded Automata enumeration program
• Visualization and dataset preparation

And also, a thought process/discussion document from the theoretical foundation to implementation and analysis is provided externally, through Notion:

• Estimating BDM with LBA