Публікація:
Часовий рекурсивний кінцевий автомат

Спрощена сторінка документа
dc.contributor.authorКорнієнко, М. Р.
dc.contributor.authorШкіль, О. С.
dc.date.accessioned2024-05-12T10:38:08Z
dc.date.available2024-05-12T10:38:08Z
dc.date.issued2022
dc.description.abstractМетою доповіді є аналіз властивостей та особливостей запронованого часового рекурсивного кінцевого автомата. Ми показали, що TRSM дозволяють вказувати цікаві безконтекстні властивості, як для невчасних, так і для тимчасових вимірів.
dc.identifier.citationКорнієнко М. Р. Часовий рекурсивний кінцевий автомат / М. Р. Корнієнко, О. С. Шкіль // Сучасні напрями розвитку інформаційно-комунікаційних технологій та засобів управління : тез. доп. дванадцатої міжнародної науково-технічної конференції, 27–28 квітня 2022 р. – Т. 1. – Баку–Харків–Жиліна, 2022. – С. 48.
dc.identifier.urihttps://openarchive.nure.ua/handle/document/26258
dc.language.isouk
dc.publisherФОП Петров В.В.
dc.subjectTRSM
dc.subjectрекурсивний кінцевий автомат
dc.titleЧасовий рекурсивний кінцевий автомат
dc.typeConference proceedings
dspace.entity.typePublication

Файли

Оригінальний пакет
Зараз показано 1 - 1 з 1
Зображення мініатюри
Назва:
SNR_2022-48.pdf
Розмір:
207.42 KB
Формат:
Adobe Portable Document Format
Завантажити
Ліцензійний пакет
Зараз показано 1 - 1 з 1
Немає доступних мініатюр
Назва:
license.txt
Розмір:
9.55 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Колекції

Кафедра автоматизації проектування обчислювальної техніки (АПОТ)