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