|
単純文脈自由木文法(CFTsp)に対して，Chomsky-Schuetzenbergerの定理の自然な拡張となる定理を証明した。Chomsky-Schuetzenbergerの定理がDyck言語を使うのに対して，この定理は，「Dyck木言語」の概念を用いる。応用として，CFTspと等価な樹状指標文法の概念を考案した。さらに，CFTspが生成する文字列言語の特徴づけを得ることもできた。
また，CFTspが生成する文字列言語に対してはOgdenの補題が成り立たないことを証明し，多重文脈自由文法に対してOgdenの補題が成り立つための十分条件を提示した。
|
