Calculator Palette
Alphabet restricted to {a, b}. Use ε for the empty string. Concatenation is implicit.
Curated Examples
50% equivalent / 50% non-equivalent cases.
Generated Strings (≤ 5 symbols)
Regex 1
0 strings
Regex 2
0 strings
Status
Awaiting analysis
Provide both expressions and run the analyzer.
Length sweep
Counter-example (if any)
—
Bounded suite covers every string over {a,b} with length ≤ 8.