Just a drive by comment: graphical languages can be entirely formal; just read any paper on automata and you’ll see some good examples.