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