Китайский формальный язык - Telegraph Формальные языки определения свойства примеры