User:Polygon/Page for testing: Difference between revisions
Jump to navigation
Jump to search
Added another incomplete page |
added missing |
||
| Line 5: | Line 5: | ||
* [[Irregular Turing Machine]] | * [[Irregular Turing Machine]] | ||
* [[Meet-in-the-Middle Weighted Finite Automata Reduction (MITMWFAR)]] | * [[Meet-in-the-Middle Weighted Finite Automata Reduction (MITMWFAR)]] | ||
Missing: | |||
* Skelet 10 | |||
Revision as of 11:44, 21 February 2026
List of incomplete pages:
- Coq-BB5
- Finite Automata Reduction
- CTL
- Irregular Turing Machine
- Meet-in-the-Middle Weighted Finite Automata Reduction (MITMWFAR)
Missing:
- Skelet 10