Changeset 4562 for docs/Working


Ignore:
Timestamp:
May 15, 2015, 8:39:57 AM (4 years ago)
Author:
cameron
Message:

Small fixes to background

Location:
docs/Working/icGrep
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • docs/Working/icGrep/background.tex

    r4555 r4562  
    6666Then the search process proceeds by computing {\em marker streams} that mark
    6767the positions of matches so far.  Each bit in a marker stream indicates
    68 that all characters prior to the given position have been matched so far.
     68that all characters prior to the given position have been matched.
    6969The initial marker stream $m_0$ consists of all
    7070ones, i.e., $m_0 = 2^{L} - 1$, indicating that all positions are in play.
     
    7676\mbox{\rm Match}(m, R|S) & = &  \mbox{\rm Match}(m, R) \vee \mbox{\rm Match}(m, S)) \\
    7777\mbox{\rm Match}(m, C*) & = &  \mbox{\rm MatchStar}(m, \mbox{\rm CharClass}(C)) \\
    78 \mbox{\rm Match}(m, R*) & = &  m \vee \mbox{\rm Match}(\mbox{\rm Match}(m, R) \wedge (\neg m), R*)
     78\mbox{\rm Match}(m, R*) & = &  m \vee \mbox{\rm Match}(\mbox{\rm Match}(m, R), R*)
    7979\end{eqnarray*}
    8080Here, Advance is an operation that advances all markers by a single position. \[\mbox{\rm Advance}(m) = m+m\]
Note: See TracChangeset for help on using the changeset viewer.