Skip to content

feat(Automata, LTS, TM): Introduce LTS.SMTr and LTS.mapLabel, generalise TM tapes to arbitrary universes, fix EpsilonNA, and introduce their single-accept transformation#625

Open
fmontesi wants to merge 27 commits into
mainfrom
fmontesi/ena
Open

Fix grind tests

a42d0a3
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar