In addition to what JdeBP said about the semantics of question marks, there's always the option of using a proper automata translation (or translation to a rege

In addition to what JdeBP said about the semantics of question marks, there's always the option of using a proper automata translation (or translation to a regexp with a suitable underlying engine). Neither of those require backtracking.