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