Языки программирования: визуализация формальных языков