רוסית ⇄ אנגלית

конечное представление бесконечного пространства состояний временного автомата מתח
.תִכנו	finite representation for the infinite state space of a timed automaton (ssn)