User:Polygon/Page for testing

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:

• BBBB (waiting for consistent definition)
  • https://discord.com/channels/960643023006490684/1385498968011575366/1552497071762706462
  • https://discord.com/channels/960643023006490684/1385498968011575366/1558372326251438151