Математическая логика и теория алгоритмов (ПИ, А.А. Пашкевич)

Цели и задачи учебной дисциплины: изучение основ теории автоматов, формальных языков и контекстно-свободных грамматик. Форма промежуточной аттестации: зачет.