Пентус, А. Е. Математическая теория формальных языков : Учебное пособие