Keyword : shrinking


Shrinking Alternating Two-Pushdown Automata
Friedrich OTTO Etsuro MORIYA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2004/04/01
Vol. E87-D  No. 4 ; pp. 959-966
Type of Manuscript:  PAPER
Category: Automata and Formal Language Theory
Keyword: 
shrinkingalternatingtwo-pushdown automatonPSPACE-complete
 Summary | Full Text:PDF