1
правка
Изменения
м
Исправление ошибок с отображением \ldots, замена \cdot на \times при указании размера массива
Пусть <tex>p</tex> {{---}} шаблон длины <tex>n</tex>, <tex>t</tex> {{---}} текст длины <tex>m</tex>.
Нам потребуется двоичный массив <tex>M</tex> размером <tex>n \cdot times (m + 1)</tex>, в котором индекс <tex>i</tex> пробегает значения от <tex>1</tex> до <tex>n</tex>, а индекс <tex>j</tex> {{---}} от <tex>0</tex> до <tex>m</tex>.
<tex>M[i][j] = 1</tex>, если первые <tex>i</tex> символов <tex>p</tex> точно совпадают с <tex>i</tex> символами <tex>t</tex>, кончаясь на позиции <tex>j</tex>; иначе <tex>M[i][j] = 0</tex>.
\left\{
\begin{array}{ll}
1, & \mbox {if p[1 $\ldots $ i] = t[j - i + 1 $\ldots $ j]} \\
0, & \mbox {otherwise}
\end{array}
\left\{
\begin{array}{ll}
0, & \mbox {if p[1 $\ldots $ i] = t[j - i + 1 $\ldots $ j]} \\
1, & \mbox {otherwise}
\end{array}
