文献

J-GLOBAL ID：202002221717253805   整理番号：20A0383704

散乱および可算直並列ポセットの論理および有理言語【JST・京大機械翻訳】

Logic and rational languages of scattered and countable series-parallel posets

著者 (2件)： Amrane Amazigh (LITIS (EA 4108), Universite de Rouen, Rouen, France) ,  Bedon Nicolas (LITIS (EA 4108), Universite de Rouen, Rouen, France)
資料名： Theoretical Computer Science  (Theoretical Computer Science)
巻： 809  ページ： 538-562  発行年： 2020年 
JST資料番号： T0022A  ISSN： 0304-3975  CODEN： TCSDIQ  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： Aはアルファベットであり,SP~(A)はAによりラベル付けされたすべての計数可能なNフリー部分秩序化集合のクラスを示し,そこでは鎖は線形秩序化し,反鎖は有限である。論理によりSP(A)の有理言語を特性化した。SP(A)の言語LがP-MSOの文の言語であるならば,P-MSOと呼ばれる一次二次論理の拡張を定義する。コロールとして,SP~(A)のP-MSO理論は決定可能である。Copyright 2020 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： オートマトン ,  *言語 ,  キャラクタリゼーション ,  線形性 ,  演算

著者キーワード (7件)： オートマトンと論理 ,  有限でないN-自由ポセット ,  直並列ポセット ,  直並列有理言語 ,  分岐オートマトン ,  単項二次論理 ,  Presburger演算

分類 (2件)： グラフ理論基礎  (IA02020S) ,  図形・画像処理一般  (JE04010I)

物質索引 (1件)： コロール

タイトルに関連する用語 (3件)： 散乱 ,  論理 ,  言語