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
Commits
Commits on May 16, 2026
- committed
- committed
Commits on May 21, 2026
- committed
- committed
Commits on May 27, 2026
- committed
Commits on Jun 1, 2026
- committed
Commits on Jun 4, 2026
- committed
- committed
- committed
Commits on Jun 6, 2026
Commits on Jun 7, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jun 8, 2026
- committed
- committed
Commits on Jun 10, 2026
- committed
- committed
- committed
- committed
- committed
Commits on Jun 14, 2026
- committed