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