Syzdykov, M. Operational Calculus of Modified Subset Construction. atcs 2023, 1, 4-8.