Автоматическое управление железнодорожными путями

Построить автомат управления железнодорожными путями.Подъезжает к разъезду с двумя путями.S0 - железнодорожный разъезд- первый путь- второй путь- третий путь- пункт назначения.Железнодорожный разъезд/х - первый путь/у - второй путь/у - третий путь/х - пункт назначения.Едет поезд по основному пути.Если первый путь свободен, то он едет по первому.Если первый занят, а второй свободен, то он едет по второму.Если первый и второй заняты, то он едет по основному.Основными задачами теории автоматов являются задачи анализа и синтеза автоматов.Задачи абстрактного анализа и синтеза автоматов противоположны друг другу.