"The name Pāṇini Backus form was also once suggested in view of the fact that the expansion Backus normal form may not be accurate, and that Pāṇini had independently developed a similar notation earlier."
Earlier being 2000 years earlier, 6th to 4th century BC!!
Panini is pretty cool, See https://en.wikipedia.org/wiki/Pāṇini
"Pāṇini has been considered the "first descriptive linguist", and even labelled as “the father of linguistics”"
"Pāṇini's theory of morphological analysis was more advanced than any equivalent Western theory before the 20th century.[23] His treatise is generative and descriptive, uses metalanguage and meta-rules, and has been compared to the Turing machine wherein the logical structure of any computing device has been reduced to its essentials using an idealized mathematical model"