Как построить конечный автомат для регулярного выражения