上下文無關語言

上下文無關語言是可以用上下文無關文法定義的形式語言 。 所有上下文無關語言的集合同一於下推自動機所接受的語言的集合 。