Terms for subject Programming containing альтернирующий

Russian	English
альтернирующие автоматы	alternating automata (ssn)
альтернирующий автомат	alternating automaton (ssn)
альтернирующий конечный автомат	alternating finite automaton (ssn)
логика альтернированного времени	alternating-time temporal logic (ssn)
система с альтернирующими переходами	alternating transitions system (ssn)