Malovichko, V. V.; Malovichko, N.; Rybalka, R. Creation of a Mathematical Model of a Stationary Rail Circuit in the Form of a Finite Discrete Automaton. STP 2024, 5-11.