M. Syzdykov, «Membership Problem in Non-deterministic Finite Automata for Extended Regular Expressions in Linear Polynomial Time», atcs, т. 1, вып. 4, сс. 14–17, дек. 2021.