文献

J-GLOBAL ID：201602003398246930   整理番号：66A0210522

E規事象の代数のための2つの完備した公理系

Tiro complete axiom systems for the algebra of regu lar events.

著者 (1件)： SALOMAA A
資料名： J Assoc Comput Mach  (Journal of the Association for Computing Machinery)
巻： 13  号： 1  ページ： 158-169  発行年： 1966年 
JST資料番号： C0267A  ISSN： 0004-5411  CODEN： JACOA   資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA) 

抄録/ポイント： 有限オートマン理論はクリーンの正規表現の理論と密接な関係がある。本論文では正規表現の代数変換のための二つの形式的系を示す二つの系は完備である。つま系系の中で引出せる方程式の組は,同一事象を示す二つの正規表現の間の方程式の組に同等である。系の一つは,ある正規表現方程式の解の一意性にもとづいて夢り,系の今一つは,正規事象の表現論に関係している;参11

タイトルに関連する用語 (2件)： 事象 ,  代数