Zbiór zadań z teorii języków formalnych i automatów