形式文法
PEG
BNF記法
↑あってる？
https://ja.wikipedia.org/wiki/形式文法