Example problems:

Description Problem Type
CFG: Many axb Grammar Words
CFG: Many axb Chomsky Normalform
CFG: Many axb CYK Algorithm
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
DFA: ending in "ab" DFA Construction
NFA: contains NFA Construction
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