Дискретная математика: как построить конечный автомат по логической функции