Методы построения конечных автоматов на основе ...

792.1.2. Выходные данныеВыходные данные должны представлять собой описание автомата,содержащего не более k состояний, удовлетворяющего каждому тесту измножества Tests и обладающего свойством непротиворечивости.Управляющий конечный автомат A удовлетворяет тестуTest = (Input, Answer), если результат обработки входнойпоследовательности Input при старте из начального состояния автоматасовпадает с последовательностью Answer.Результат обработки входной последовательности Input приначале из состояния s определяется рекурсивно: если последовательность Input пуста, то результат ееобработки также является пустой последовательностью; если последовательность Input не пуста, а ее первый элементимеет вид (e, f), то результат обработки последовательностиInput конкатенация двух последовательностей – результатаобработки элемента входной последовательности (e, f) всостоянии s и результата обработки оставшейся частипоследовательности Input при начале из состояния, в котороеведет переход из s по событию e и условию, эквивалентному f.Если результат обработки оставшейся частипоследовательности Input не определен, то и результатобработки последовательности также не определен.Результатом обработки элемента входной последовательности(e, f) в состоянии s является последовательность выходных воздействий,соответствующая переходу, который помечен событием e и условием,эквивалентным f. Если же такого перехода из состояния s нет или такихпереходов несколько, то результат обработки указанного элемента неопределен.