文献

J-GLOBAL ID：201902291090577232   整理番号：19A1785976

単調WQoSに関連した正則言語のクラスについて【JST・京大機械翻訳】

On Classes of Regular Languages Related to Monotone WQOs

著者 (3件)： Ogawa Mizuhito (Japan Advanced Institute of Science and Technology, Nomi, Japan) ,  Selivanov Victor (A.P. Ershov Institute of Informatics Systems SB RAS, Novosibirsk, Russia) ,  Selivanov Victor (Kazan Federal University, Kazan, Russia)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 11612  ページ： 235-247  発行年： 2019年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 正規言語と[数式:原文を参照]言語に対する単調井戸準次数の関係を研究し,単語と無限単語上の上部集合の格子の決定可能性に集中した。決定可能性に対する一般的十分条件を確立した。これらの条件を具体的な自然単調WQOsに適用して,いくつかの既知の結果の新しい決定可能性結果と新しい証明を得た。Copyright 2019 IFIP International Federation for Information Processing Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 十分条件 ,  *言語 ,  単語 ,  次数

著者キーワード (6件)： 規則言語 ,  単調WQO ,  上部集合の格子 ,  周期的拡張 ,  決定可能性 ,  差分階層

分類 (2件)： 自然語処理  (JE06000L) ,  人工知能  (JE08000Z)

タイトルに関連する用語 (2件)： 言語 ,  クラス