Я прочитал всю теорию конечных автоматов, пропустил только доказательства. Не понимаю, зачем в книжках по математике пишут доказательства. Их что, кто-то читает что ли?