M. Syzdykov, “Membership Problem in Non-deterministic Finite Automata for Extended Regular Expressions in Linear Polynomial Time”, atcs, vol. 1, no. 4, pp. 14–17, Dec. 2021.