Электронная библиотека (репозиторий) Томского государственного университета

Add to Quick Collection   All 3 Results

Showing items 1 - 3 of 3.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Adaptive experiments for state identification in finite state machines with timeouts
Authors: Tvardovskii, Aleksandr | Yevtushenko, Nina V.
Source: Machines, computations, and universality : 9th International conference, MCU 2022 Debrecen, Hungary, August 31 – September 2, 2022 : proceedings. Cham, 2022. P. 172-188
Type: статьи в сборниках
Date: 2022
Description: Homing and synchronizing sequences are used for the current state identification in finite state machines (FSMs). Adaptive homing and synchronizing sequences for which the next input depends on the ou ... More
Add   К минимизации автоматов с таймаутами
Authors: Твардовский, Александр Сергеевич
Source: Труды Института системного программирования РАН. 2014. Т. 26, вып. 6. С. 77-84
Type: статьи в сборниках
Date: 2014
Add   К построению проверяющих тестов для недетерминированных автоматов с тайм-аутами
Authors: Шабалдина, Наталия Владимировна | Галимуллин, Рустам Фанисович
Source: Программирование. 2012. № 3. С. 36-44
Type: статьи в журналах
Date: 2012
  • «
  • ←
  • 1
  • →
  • »
^