文献

J-GLOBAL ID：202202233918835870   整理番号：22A1045776

O nはn-MCFLである【JST・京大機械翻訳】

O _n is an n-MCFL

著者 (3件)： Gebhardt Kilian (SINA Development and Verification Team, Division Defence & Space, secunet Security Networks AG, Germany) ,  Meunier Frederic (CERMICS, Ecole des Ponts ParisTech, France) ,  Salvati Sylvain (Universite de Lille, INRIA, CRIStAL, France)
資料名： Journal of Computer and System Sciences  (Journal of Computer and System Sciences)
巻： 127  ページ： 41-52  発行年： 2022年 
JST資料番号： B0861A  ISSN： 0022-0000  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 公式言語における交換特性は,コンピュータ科学,計算言語学,および計算グループ理論のフロンティアで問題を提起する。この種の顕著な問題は,形式的言語の既知のクラスにおいて,1≦i≦nで同じ数の文字列と~iを含む言語の位置である。最近,Onは複数のContex-Free言語(MCFL)であることが示されている。しかし,Denderhofのより精密な予測は,次元nのMCFLである。代数トポロジーからのツールを用いてこの推定を証明した。この方法で,ネックレス分割定理のバリアントを証明した。Copyright 2022 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 位相幾何学 ,  *言語 ,  分類 ,  計算機科学 ,  形式言語 ,  計算言語学 ,  多重化 ,  定理 ,  文字列
準シソーラス用語： 文脈自由言語 , 【Automatic Indexing@JST】

著者キーワード (6件)： 形式言語 ,  多重文脈自由言語 ,  可換言語 ,  Tucker Lemma ,  ネックレス分割定理 ,  グループにおける語問題

分類 (2件)： 自然語処理  (JE06000L) ,  数理言語学  (JB05000V)