Normal view
MARC view
Минимизация синтаксических диаграмм с многовходовыми компонентами (Record no. 440357)
[ view plain ]
| 000 -Маркер записи | |
|---|---|
| Контрольное поле постоянной длины | 03101nab a2200313 c 4500 |
| 001 - Контрольный номер | |
| Контрольное поле | vtls000633078 |
| 005 - Дата корректировки | |
| Контрольное поле | 20210922095247.0 |
| 007 - Кодируемые данные (физ. описан.) | |
| Контрольное поле постоянной длины | cr | |
| 008 - Кодируемые данные | |
| Контрольное поле постоянной длины | 180919|2018 ru s c rus d |
| 024 7# - Прочие стандартные номера | |
| Стандартный номер | 10.17223/20710410/41/9 |
| Источник номера | doi |
| 035 ## - Системный контрольный номер | |
| Системный контрольный номер | to000633078 |
| 040 ## - Источник каталогиз. | |
| Служба первич. каталог. | RU-ToGU |
| Код языка каталог. | rus |
| Служба, преобразующая запись | RU-ToGU |
| 100 1# - Автор | |
| Автор | Рязанов, Юрий Дмитриевич |
| 9 (RLIN) | 486358 |
| 245 10 - Заглавие | |
| Заглавие | Минимизация синтаксических диаграмм с многовходовыми компонентами |
| Ответственность | Ю. Д. Рязанов |
| 246 11 - Заглавие тома/части | |
| Заглавие тома/части | Minimization of syntax diagrams with multiport components |
| 504 ## - Библиография | |
| Библиография | Библиогр.: 9 назв. |
| 520 3# - Аннотация | |
| Аннотация | Рассмотрена задача минимизации синтаксических диаграмм. Для её решения диаграммы Вирта (ДВ) преобразуются в синтаксические диаграммы с многовходовыми компонентами (СД), которые по структуре совпадают с ДВ, но отличаются тем, что нетерминалы в нетерминальных вершинах заменяются начальными узлами соответствующих компонент. На множестве узлов СД вводится отношение, обладающее свойством эквивалентности, которое разбивает множество узлов на классы эквивалентности. Доказано, что «стягивание» класса эквивалентности в один узел является эквивалентным преобразованием. Если классу эквивалентности принадлежат узлы различных компонент, то в результате «стягивания» происходит соединение компонент в одну, которая имеет несколько входов. Предложены алгоритмы разбиения множества узлов на классы эквивалентности и построения СД. Приводится пример, показывающий, что построенная по предложенным алгоритмам СД значительно меньше эквивалентной ей ДВ. |
| 653 ## - Ключевые слова | |
| Ключевые слова | синтаксические диаграммы |
| 653 ## - Ключевые слова | |
| Ключевые слова | минимизация |
| 653 ## - Ключевые слова | |
| Ключевые слова | формальные языки |
| 653 ## - Ключевые слова | |
| Ключевые слова | отношение эквивалентности |
| 655 #4 - Термин индексирования — жанр/форма | |
| Жанр/форма | статьи в журналах |
| 9 (RLIN) | 745982 |
| 773 0# - Источник информации | |
| Название источника | Прикладная дискретная математика |
| Место и дата издания | 2018 |
| Прочая информация | № 41. С. 85-97 |
| ISSN | 2071-0410 |
| Контрольный № источника | 0210-48760 |
| 852 4# - Местонахождение единицы хранения | |
| Код организации-хранителя | RU-ToGU |
| 856 7# - Электронный адрес документа | |
| URL | <a href="http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000633078">http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000633078</a> |
| 908 ## - Параметр входа данных | |
| Параметр входа данных | статья |
| 999 ## - Системные контрольные номера (Koha) | |
| biblionumber (Koha) | 440357 |
No items available.