Re: Row pattern recognition

Hi Henson,

> Hi Tatsuo,
> 
> I recently purchased the ISO/IEC 19075-5:2021 standard document
> through my company, and have started cross-referencing it against
> the implementation.
> 
>> nocfbot-0005: Detect zero-consumption NFA cycles
> 
> 
> The cycle detection itself is necessary, but I found a behavioral
> difference from the standard (Section 7.2.8).
> 
> When a group body is nullable (e.g. A? in (A?){2,3}), the visited
> bitmap blocks re-entry to the skipped variable, so the END element
> never gets a chance to produce an exit state for count < min.
> The standard/Perl allows empty iterations to count toward min.
> 
> I plan to fix this by adding a compile-time flag on END elements
> that indicates the group body can iterate with empty matches.
> When the flag is set, nfa_advance_end() will generate the exit
> state even when count < min.

Ok.

>> nocfbot-0006: Allow A{0} quantifier
>>
> 
> After reviewing the standard, I'd like to withdraw this patch.
> 
> Section 4.14.1 explicitly requires n > 0 for the {n} quantifier.
> While A{0} works correctly as an epsilon transition with the cycle
> detection in place, it violates the standard.
> 
> Since we aim for standard conformance, I think we should keep the
> n >= 1 restriction for {n}.

This is my bad. I didn't realize the standard prohibits A{0} even I
have the standard document.

> I'll include this revert in the next patch set.

Thanks!
--
Tatsuo Ishii
SRA OSS K.K.
English: http://www.sraoss.co.jp/index_en/
Japanese:http://www.sraoss.co.jp