Теория автоматов и формальных языков - презентация онлайн Np полные задачи примеры