Art
J-GLOBAL ID：201902006095536325   Reference number：19S2735248

An extended direct branching algorithm for checking equivalence of deterministic pushdown automata

  • Publisher site Copy service
  • Access JDreamⅢ for advanced search and analysis.
Author (1)：
Tomita, Etsuji

About Tomita, Etsuji

(Department of Communication Engineering, The University of Electro-Communications)

About Department of Communication Engineering, The University of Electro-Communications


Material：
Theoretical Computer Science

About Theoretical Computer Science


Volume： 32  Issue： 1-2  Page： 87-120  Publication year： 1984 
JST Material Number： SCOPUS  ISSN： 0304-3975  CODEN： TCSCD 
Language： English (EN)

Return to Previous Page

TOP

BOTTOM