Example problems:

Description Problem Type
DFA: ending in "ab" DFA Construction
NFA: contains NFA Construction
FLP Find Language Partition
Hopcroft Find Language Partition
CFG: Many axb Grammar Words
CFG: Many axb CYK Algorithm
CFG: Many axb Chomsky Normal Form
Odd RE Construction
an bn PDA Construction
an bn PDA Words
axb Grammar Construction
0 or 1 RE Words
Allstar Equivalence Classes
CFG: Many axb Find Derivation
RE -> epsNFA RE to NFA
Petri Net: Firing Sequence Find a Firing Sequence
Petri Net: Traps / Siphons Find a Siphon/Trap
Petri Net: Invariants Find an Invariant
Petri Net: Backwards Reachability Algorithm Apply Backwards Reachability Algorithm
Petri Net: Coverability Graph Construct Coverability Graph
Petri Net: Modify Petri Net Modify Petri Net
Petri Net: Prove/Disprove Reachability Decide Reachability
Petri Net: Reachability Graph Construct Reachability Graph