Computational complexity of problems for deterministic presentations of sofic shifts. - Justin Cai; Rafael M. Frongillo (Theor. Comput. Sci., 2022)