이산수학 오토마타 질문좀.

[00(182.214)]

이산수학 오토마타의 문법에서

S -> Aa

A -> B

B -> Aa

에서 생성되는 언어가 없는 이유가 S에서 A로, A에서 B로 갈때 터미널 심볼이 없어서 라는데, 원래 넌터미널 심볼 사이에 터미널 심볼 없으면 그건 언어로 인정을 안하는 거임?

[17번(wjd918273)]

대문자는 넌터미널인데 얘가 다 없어져야지 쟤는 그냥 상태 전이를 어떻게 할지 이정표같은놈인데

[17번(wjd918273)]

저 문법에서 어떻게 해도 넌터미널을 다 없앨수가없잖아