User:Polygon/Page for testing: Difference between revisions
Jump to navigation
Jump to search
Added missing (RepWL) |
Skelet 10 has been created, removed rom missing Tag: Manual revert |
||
| (3 intermediate revisions by the same user not shown) | |||
| Line 3: | Line 3: | ||
* [[Finite Automata Reduction]] | * [[Finite Automata Reduction]] | ||
* [[CTL]] | * [[CTL]] | ||
* [[Irregular Turing Machine]] | |||
* | * [[Meet-in-the-Middle Weighted Finite Automata Reduction (MITMWFAR)]] | ||