lambda1@tg says to YSITD https://en.m.wikipedia.org/wiki/Backus–Naur_form ^ grammar 的一種representation