Text this: Математическая теория формальных языков