乔泽夫·格鲁斯卡 无上下文语言的描述复杂性。 第71页至第83页 1973 conf/mfcs/1973 多功能控制系统 db/conf/mfcs/mfcs73.html#Gruska73