Рис. 8 Общий вид конечного автомата, удовлетворяющего условию выделения метода