Deciders
Topic | Replies | Views | Activity | |
---|---|---|---|---|
About the Deciders category
|
![]() |
0 | 173 | March 27, 2022 |
Bouncers
|
![]() ![]() ![]() ![]() ![]() |
22 | 816 | September 10, 2023 |
Machines with more than 1 undefined transition
|
![]() ![]() ![]() |
5 | 323 | September 10, 2023 |
[Decider] Backward reasoning
|
![]() ![]() ![]() ![]() ![]() |
22 | 1487 | September 10, 2023 |
[Decider] Translated cyclers
|
![]() ![]() ![]() ![]() |
10 | 1073 | July 29, 2023 |
[Decider] Cyclers
|
![]() ![]() ![]() ![]() |
7 | 1160 | July 27, 2023 |
[Decider] Finite Automata Reduction
|
![]() ![]() ![]() |
20 | 1097 | April 9, 2023 |
Currently applied deciders
|
![]() |
1 | 959 | April 9, 2023 |
[Decider] Halting Segment
|
![]() ![]() ![]() ![]() ![]() |
17 | 1290 | December 25, 2022 |
Thoughts on Closed Position Set
|
![]() |
2 | 236 | October 12, 2022 |
Closed Tape Languages: asymmetric automata construction
|
![]() |
1 | 185 | October 9, 2022 |
[Decider] Unilateral Bouncers
|
![]() ![]() ![]() |
4 | 475 | August 7, 2022 |
Closed state/transition cluster
|
![]() ![]() ![]() |
3 | 233 | July 16, 2022 |