User:Polygon/Page for testing: Difference between revisions
Jump to navigation
Jump to search
structure TODOs |
Irregular Turing Machine no longer incomplete |
||
| Line 3: | Line 3: | ||
* [[Finite Automata Reduction]] | * [[Finite Automata Reduction]] | ||
* [[CTL]] | * [[CTL]] | ||
* [[Meet-in-the-Middle Weighted Finite Automata Reduction (MITMWFAR)]] | * [[Meet-in-the-Middle Weighted Finite Automata Reduction (MITMWFAR)]] | ||
* [[Skelet 1]] | * [[Skelet 1]] | ||
Latest revision as of 19:43, 16 October 2026
List of incomplete pages:
- Coq-BB5
- Finite Automata Reduction
- CTL
- Meet-in-the-Middle Weighted Finite Automata Reduction (MITMWFAR)
- Skelet 1
- CPS (CPS_LRU, CPS_LRUH)
- Repeated Word List (RWL_mod; more detailed description for RWLAcc)
TODOs: