Как решить точное сопоставление с образцом с помощью свертки

я пытаюсь решить проблему точного сопоставления с образцом, когда алфавит состоит из 5 символов {a, b, c, d, #}, где специальный символ # соответствует любому символу ( включая себя).

Например, если T = ab # aca # ab # a и P = da # ac, то P возникает, начиная с позиции 3 в T. Я пытаюсь найти алгоритм времени O (nlogn), чтобы определить, соответствует ли шаблон P длины n встречается в тексте T длины 2n, предполагая, что символ # встречается (возможно, O (n) раз) в T и P.

Есть предложения о том, как решить эту проблему с помощью свертки?