GitHub repository: uuverifiers/parikh-theory
Primary language: Jupyter Notebook
Created: 2020-07-29T13:53:59Z
Description: A Princess theory for computing Parikh images of automata