Мортальные слова. Верхние и нижние оценки на длину кратчайшего мортального слова для детерминированных автоматов. Связь с конечными префиксными кодами. Гипотеза Рестиво. Полиномиальная верхняя оценка на длину кратчайшего мортального слова в однозначных сильно связных автоматах (Kiefer, Mascle, STACS 2019).