メインコンテンツへスキップ
言語生成の限界における特徴付け:有限の証人と分離幅階層 — Cernoval