Repository navigation

Implement canonical RFSA, prime atomaton, NL*, and concrete VPA constructions (2/5) - #18

Closed

Autoplectic wants to merge 3 commits into

sofic-correctness-fixesfrom

sofic-missing-constructions

Commits on Oct 6, 2026

Implement canonical RFSA, maximized prime atomaton, exact residuals/atoms, and NL*

Ryan James
and
cursoragent
committed
59039db
Concrete VPA constructions, decision procedures, modular conversion, and a correct canonical VPA

Ryan James
and
cursoragent
committed
d109643
Document NestedWordAutomaton operations delegated through VPAs

Ryan James
and
cursoragent
committed
7ea187a