искусственный интеллект

[akyzina]

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