Từ (ngôn ngữ hình thức)