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