Deciders
Topic | Replies | Views | Activity | |
---|---|---|---|---|
About the Deciders category
|
![]() |
0 | 584 | March 27, 2022 |
[Decider] Bouncers
|
![]() ![]() ![]() ![]() ![]() |
24 | 4933 | May 3, 2024 |
[Decider] Halting Segment
|
![]() ![]() ![]() ![]() ![]() |
19 | 4354 | November 24, 2023 |
[Decider] Backward reasoning
|
![]() ![]() ![]() ![]() ![]() |
24 | 5190 | November 20, 2023 |
Machines with more than 1 undefined transition
|
![]() ![]() ![]() |
5 | 833 | September 10, 2023 |
[Decider] Translated cyclers
|
![]() ![]() ![]() ![]() |
10 | 3887 | July 29, 2023 |
[Decider] Cyclers
|
![]() ![]() ![]() ![]() |
7 | 4327 | July 27, 2023 |
[Decider] Finite Automata Reduction
|
![]() ![]() ![]() |
20 | 5072 | April 9, 2023 |
Currently applied deciders
|
![]() |
1 | 3734 | April 9, 2023 |
Thoughts on Closed Position Set
|
![]() |
2 | 644 | October 12, 2022 |
Closed Tape Languages: asymmetric automata construction
|
![]() |
1 | 544 | October 9, 2022 |
[Decider] Unilateral Bouncers
|
![]() ![]() ![]() |
4 | 1106 | August 7, 2022 |
Closed state/transition cluster
|
![]() ![]() ![]() |
3 | 672 | July 16, 2022 |