BNF 표기법에 대해서 궁금한 게 있습니다.

BNF의 정의가 컴퓨터 언어에서 언어의 문법을 수학적인 수식으로 나타낼 때 사용하는 언어 도구라고 나와 있는데 C언어도 이 BNF의 영향을 받아서 만들어진 언어라고 저는 공부했습니다.

그럼 C언어의 포인터 같은 문법, 구문들도 전부 수학적인 수식으로 나타낸다라는 건가요?

함수로 그렇고 수학적인 수식과는 좀 동 떨어어진 것 같은데

정확히 BNF 표기법은 어떤 정의를 가지고 있는 건가요?

제가 알고 있는 수학적 수식이란 수학적 기호를 사용해서 나타내는 식인 거밖에는 없는데

수학적 수식이라는 말이 다른 뜻도 포함하는 걸까요?