User:Polygon/Page for testing: Difference between revisions
Jump to navigation
Jump to search
Added TODOs |
structure TODOs |
||
| Line 12: | Line 12: | ||
TODOs: | TODOs: | ||
* https://discord.com/channels/960643023006490684/1385498968011575366/1552497071762706462 | * BBBB (waiting for consistent definition) | ||
* https://discord.com/channels/960643023006490684/1385498968011575366/1558372326251438151 | ** https://discord.com/channels/960643023006490684/1385498968011575366/1552497071762706462 | ||
** https://discord.com/channels/960643023006490684/1385498968011575366/1558372326251438151 | |||
Revision as of 19:42, 16 October 2026
List of incomplete pages:
- Coq-BB5
- Finite Automata Reduction
- CTL
- Irregular Turing Machine
- 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: