Skip to content

Decide reverse ε-machine finiteness via the twins property - #10

Merged
Autoplectic merged 5 commits into
cursor/wheeler-automatafrom
cursor/atomata-wheeler-duality
Sep 19, 2026
Merged

Decide reverse ε-machine finiteness via the twins property#10
Autoplectic merged 5 commits into
cursor/wheeler-automatafrom
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