Matching Patterns with Variables Under Simon's Congruence
Formal Languages and Automata Theory
2023-08-17 v1 Data Structures and Algorithms
Abstract
We introduce and investigate a series of matching problems for patterns with variables under Simon's congruence. Our results provide a thorough picture of these problems' computational complexity.
Cite
@article{arxiv.2308.08374,
title = {Matching Patterns with Variables Under Simon's Congruence},
author = {Pamela Fleischmann and Sungmin Kim and Tore Koß and Florin Manea and Dirk Nowotka and Stefan Siemer and Max Wiedenhöft},
journal= {arXiv preprint arXiv:2308.08374},
year = {2023}
}