Корнієнко, М. Р.Шкіль, О. С.2024-05-122024-05-122022Корнієнко М. Р. Часовий рекурсивний кінцевий автомат / М. Р. Корнієнко, О. С. Шкіль // Сучасні напрями розвитку інформаційно-комунікаційних технологій та засобів управління : тез. доп. дванадцатої міжнародної науково-технічної конференції, 27–28 квітня 2022 р. – Т. 1. – Баку–Харків–Жиліна, 2022. – С. 48.https://openarchive.nure.ua/handle/document/26258Метою доповіді є аналіз властивостей та особливостей запронованого часового рекурсивного кінцевого автомата. Ми показали, що TRSM дозволяють вказувати цікаві безконтекстні властивості, як для невчасних, так і для тимчасових вимірів.ukTRSMрекурсивний кінцевий автоматЧасовий рекурсивний кінцевий автоматConference proceedings