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