Символ | - это эквивалент выражения OR в PDL (например, слово1 или слово2):
Регулярное выражение a|b находит или a, или b
Регулярное выражение a|b|c находит a или b или c.
dog|cat находит или dog, или cat
Выражение (dog|cat)s находит dogs или cats
Если сложить все элементы вместе, то (dog|cat)s{0,1} будет находить dog, dogs, cat или cats.
r(u|a)n(s|ning|er)* находит run, ran, runs, rans, running, ranning, ranningning, ranssss, runsssss, runer, raner, runerer, ranerer и так далее.