Pin conjecture for matching automata. - Zihao Wang; Qingxia Long; Yong He (Int. J. Embed. Syst., 2024)