Text this: Введение в формальный язык лингвистики