Terms for subject Information technology containing state machine model

English	Russian
mathematical models for infinite-state machines	математические модели автоматов с бесконечным числом состояний (ssn)
models for infinite-state machines	модели автоматов с бесконечным числом состояний (ssn)