文献

J-GLOBAL ID：200902045565378061   整理番号：82A0379156

決定性プッシュダウントランスジューサに対する等価性の判定

On the decidability of equivalence for deterministic pushdown transducers.

著者 (2件)： IBARRA O H (Univ. Minnesota) ,  ROSIER L E (Univ. Minnesota)
資料名： Information Processing Letters  (Information Processing Letters)
巻： 13  号： 3  ページ： 89-93  発行年： 1981年12月13日 
JST資料番号： E0513A  ISSN： 0020-0190  資料種別： 逐次刊行物 (A)
記事区分： 短報  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 決定性プッシュダウントランスジューサのうちで,対応するDPD...

シソーラス用語： プッシュダウンオートマトン ,...

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=82A0379156&from=J-GLOBAL&jstjournalNo=E0513A") }}

分類 (1件)： 計算理論  (JB02000A)

タイトルに関連する用語 (2件)： トランスジューサ ,  等価性