Logical Computational Types of the Pushdown Automata

TANG Shouwen, CHEN Liang. Logical Computational Types of the Pushdown AutomataJ. Journal of Computer Research and Development, 1987, 24(6): 27-30.

Citation:

TANG Shouwen, CHEN Liang. Logical Computational Types of the Pushdown AutomataJ. Journal of Computer Research and Development, 1987, 24(6): 27-30.

Citation:

TANG Shouwen, CHEN Liang. Logical Computational Types of the Pushdown AutomataJ. Journal of Computer Research and Development, 1987, 24(6): 27-30.

Abstract

In this paper we define and classify the logical computational types of the Pushdoun Automata (one-way),and we prove that each of them is linear time bounded.

FullText(HTML)

Turn off MathJax

Article Contents

Export File