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