https://123dok.net/document/z1d3554v-complexity-universality-related-problems-partially-ordered-nfas.html