City: Test Saint Petersburg Novosibirsk Kazan Language: Русский English

Лекция 4. Конечные автоматы.
Introduction to Theoretical Computer Science

What: Lecture
When: Monday, 05 October 2020, 18:30–19:50
Where: Конференция в zoom, Онлайн

Description

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

Video

Other materials

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