文献

J-GLOBAL ID：202002287918324458   整理番号：20A1714983

ω-正則言語の拡張【JST・京大機械翻訳】

Extensions of ω-Regular Languages

著者 (4件)： Bojanczyk Mikolaj (University of Warsaw, Poland) ,  Kelmendi Edon (University of Oxford, United Kingdom) ,  Stefanski Rafal (University of Warsaw, Poland) ,  Zetzsche Georg (Max Planck Institute for Software Systems (MPI-SWS), Germany)
資料名： ACM Proceedings  (ACM Proceedings)
号： LICS ’20  ページ： 266-272  発行年： 2020年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 著者らは,ω-正規でない1つの言語を加えることによって得る,ω-語に関するモナディック二次論理の拡張を考察した。追加言語Lが中立文字を持つならば,結果として得られる論理は必然的ではないことを示した。corollaryは,ω正規言語がω語上の唯一の決定可能なBoole-閉鎖完全トリオであるということである。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *言語
準シソーラス用語： 正規言語 , 【Automatic Indexing@JST】

著者キーワード (5件)： 合同 ,  msoの拡張 ,  オメガ正則の拡張 ,  フルトリオ ,  mso+u

分類 (5件)： 脂肪族アミン・イミン・第四アンモニウム・インモニウム  (CF03070L) ,  作業研究  (KB03040A) ,  数値計算  (JE02000J) ,  データベースシステム  (JD03030U) ,  ロボットの運動・制御  (IC04012J)

タイトルに関連する用語 (2件)： 言語 ,  拡張