Generalized regular expression research compiler

Family 134: Generalized star height at most three. First review, 8 October 2026.

Problem and potential new use

Formal-language teams can explore low-star-height representations when complement is allowed.

Applicability and commercial boundary

A bound on nested stars does not assert a small resulting expression or faster regex evaluation. Complement semantics differ from ordinary production syntax.

Initial business decision

Conditional research. Buyer demand and profitability remain hypotheses. This first pass does not establish a validated commercial market.

Next verification action

Extract representation-size bounds and compare compilation growth with existing automata tools.

Evidence scope

Catalog statement reviewed; inspect linked opportunity dossier for any deeper source review. This record alone does not establish full manuscript or proof verification.

Source revision fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb. See source metadata for the exact manuscripts and available scope notes.