Skip to content

Fix átomaton construction and decide reverse ε-machine finiteness - #12

Merged
Autoplectic merged 5 commits into
mainfrom
cursor/atomata-wheeler-duality
Sep 20, 2026
Merged

Fix átomaton construction and decide reverse ε-machine finiteness#12
Autoplectic merged 5 commits into
mainfrom
cursor/atomata-wheeler-duality

State the twins citation precisely in reverse_is_finite

e9139c5
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar