системы искусственного интеллекта

[kostya87]

Здравствуйте.Помогите решить:
Какое либо подмножество Т множества всех состояний инициального детерминированного автомата, находящихся в отношении эквивалентности R, являются примером так называемого транзитивного замыкания.Используя вторую индукционную аксиому второго порядка опишите свойства множества Т