Grachev, P., Muravyov, S., Filchenkov, A., Shalyto, A.: Automata generation based on recurrent neural networks and automated cauterization selection. Information and Control Systems(1), 34-43 (2020). doi:10.31799/1684-8853-2020-1-34-43