Мне нужна помощь в разработке конечного автомата, который принимает двоичные строки, содержащие как можно больше вхождений шаблона01 как вхождения шаблона10.

Мне трудно понять, какие именно строки следует принимать, а какие отклонять.

Любое руководство будет приветствоваться.