УДК 519.178 ПОСТРОЕНИЕ УНИВЕРСАЛЬНОГО КОНЕЧНОГО Самарский государственный университет Поступила в редакцию 25.03.2013 г. Аннотация: во второй части статьи рассматриваются подробные примеры работы алгоритмов, описанных в первой части. <...> Кроме того, приводится серия примеров, показывающая, как быстро может расти число состояний универсального автомата в зависимости от числа состояний эквивалентного канонического автомата либо канонического автомата для зеркального языка. <...> Ключевые слова: недетерминированные конечные автоматы, универсальный автомат Конвея, алгоритмы построения. <...> It also contains a series of examples which shows, how fast the size of the universal automaton can grow, depending on the number of states of the equivalent canonical automaton or the canonical automaton for the mirror language. <...> В разделе 7 мы даём подробный пример работы алгоритма, описанного в предыдущем разделе (разделе 5 первой части). <...> В заключении (раздел 9) мы приводим некоторые возможные направления дальнейших исследований по данной тематике. может расти число блоков (т.е. размер универсального автомата) – если заданы размеры двух канонических автоматов (т.е. автоматов L и LR). <...> 1 и 2), а также таблицу его бинарного отношения # (Таб. <...> 3 (при этом подмножества обозначены просто строками, состоящими из их элементов). <...> 3] мы просто указали множество блоков; а в этой работе, мы используем алгоритм его построения. <...> Ориентированный граф DG, вершинами которого являются все непустые подмножества Множества, помеченные 3 овалами – т.е. {A,B,C,D}, {A,C,D}, {B,C,D} и {C} – были построены шагом 1 алгоритма 3. <...> При этом у нас есть единственная вершина (а именно, {C,D}), для которой существуют по крайней мере 2 такие вершины, из которых имеются дуги в {C,D}; мы пометили эту «новую подходящую» вершину одновременно несколькими овалами. <...> Итак, все 5 упомянутых вершин (и только они) являются элементами множества <...>