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

83z 4 , на переходе по событию H из третьего состояния в четверное должновырабатываться z 5 , а на переходе по событию T из четвертого состояния вовторое – z 3 (рис. 21).1A [x 1 ] /2T [x 2 ] / z 5T [x 1 ] / z 5M [x 1 ] / z 34 3H [x 2 ] / z 4Рис. 21. Помеченные на основании теста переходы автоматаТаким образом, на основании одного теста можно расставитьвыходные воздействия на части переходов автомата. Если тестов большеодного, то возможны различные ситуации: может оказаться, что в разных тестах используется один и тотже переход, но на этих тестах при выборе этого переходадолжны генерироваться одни и те же выходные воздействия; может оказаться, что в разных тестах используется один и тотже переход, но при его выборе должны генерироваться разныевыходные воздействия (имеется противоречие).В первом случае ситуация аналогична ситуации с одним тестом. Вовтором случае этот переход помечается тем выходным воздействием,которое чаще всего вырабатывается на нем в тестах.Этот же принцип можно распространить на случай, когда напереходе должно вырабатываться более одного выходного воздействия.Для каждого перехода T и каждой последовательности выходныхвоздействий zs вычисляется величина C[T][zs] – число раз, когда приобработке входной последовательности, соответствующей одному из