英语 ⇄ 俄语 +

mathematical models for infinite-state machines 强调
信息技术	математические модели автоматов с бесконечным числом состояний (ssn)