Город: Санкт-Петербург Новосибирск Казань Язык: Русский English
Что: Лекция
Когда: Понедельник, 05 октября 2020, 18:30–19:50
Где: Конференция в zoom, Онлайн

Описание

Язык TQBF PSPACE-полный. Вычисления с константной памятью: конечные автоматы, регулярные выражения.

Видео

Другие материалы

Текущая версия конспекта.