Теория автоматов, синтезировать недетерминированный последовательный автомат

Необходима помощь,кто разбирается. Синтезировать недетерминированный последовательностный автомат-распознаватель кода при учете возможного изменения только одного двоичного входа в каждом такте. Элементная база-ОФПЭБ, RS-триггеры. ПОследовательность -13731.