000			03101nab a2200313 c 4500
001			vtls000633078
003			RU-ToGU
005			20210922095247.0
007			cr |
008			180919|2018 ru s c rus d
024	7		_a10.17223/20710410/41/9 _2doi
035			_ato000633078
040			_aRU-ToGU _brus _cRU-ToGU
100	1		_aРязанов, Юрий Дмитриевич _9486358
245	1	0	_aМинимизация синтаксических диаграмм с многовходовыми компонентами _cЮ. Д. Рязанов
246	1	1	_aMinimization of syntax diagrams with multiport components
504			_aБиблиогр.: 9 назв.
520	3		_aРассмотрена задача минимизации синтаксических диаграмм. Для её решения диаграммы Вирта (ДВ) преобразуются в синтаксические диаграммы с многовходовыми компонентами (СД), которые по структуре совпадают с ДВ, но отличаются тем, что нетерминалы в нетерминальных вершинах заменяются начальными узлами соответствующих компонент. На множестве узлов СД вводится отношение, обладающее свойством эквивалентности, которое разбивает множество узлов на классы эквивалентности. Доказано, что «стягивание» класса эквивалентности в один узел является эквивалентным преобразованием. Если классу эквивалентности принадлежат узлы различных компонент, то в результате «стягивания» происходит соединение компонент в одну, которая имеет несколько входов. Предложены алгоритмы разбиения множества узлов на классы эквивалентности и построения СД. Приводится пример, показывающий, что построенная по предложенным алгоритмам СД значительно меньше эквивалентной ей ДВ.
653			_aсинтаксические диаграммы
653			_aминимизация
653			_aформальные языки
653			_aотношение эквивалентности
655		4	_aстатьи в журналах _9745982
773	0		_tПрикладная дискретная математика _d2018 _g№ 41. С. 85-97 _x2071-0410 _w0210-48760
852	4		_aRU-ToGU
856	7		_uhttp://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000633078
908			_aстатья
999			_c440357