文字列マッチングにおける「正規表現」のエンジンは、理論的に何に基づいているか。

正規表現のパターンマッチングは、決定性または非決定性の有限オートマトンでモデル化される。