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

algorithm for translating LTL into automata מתח
.תִכנו	алгоритм трансляции LTL в автоматы (ssn)