Art
J-GLOBAL ID：200902045565378061   Reference number：82A0379156

On the decidability of equivalence for deterministic pushdown transducers.

決定性プッシュダウントランスジューサに対する等価性の判定
Author (2)：
IBARRA O H

About IBARRA O H

(Univ. Minnesota)

About Univ. Minnesota

, 
ROSIER L E

About ROSIER L E

(Univ. Minnesota)

About Univ. Minnesota


Material：
Information Processing Letters  (Inf Process Lett)

About Information Processing Letters


Volume： 13  Issue： 3  Page： 89-93  Publication year： Dec. 13, 1981 
JST Material Number： E0513A  ISSN： 0020-0190  Document type： Article
Article type： 短報  Country of issue： Netherlands (NLD)  Language： ENGLISH (EN)
Thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
pushdown automaton

About pushdown automaton

,...
   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=82A0379156&from=J-GLOBAL&jstjournalNo=E0513A") }}
JST classification (1)：
JST classification
Category name(code) classified by JST.
Theory of computation 
(JB02000A)

About Theory of computation

Terms in the title (2)：
Terms in the title
Keywords automatically extracted from the title.
トランスジューサ

About トランスジューサ

, 
等価性

About 等価性


Return to Previous Page

TOP

BOTTOM