| |
1
|
BAKER, B , ANO BOOK, R. Reversal-bounded multl-pushdown machmes J Comptr Syst Sci 8 (1974), 315-332
|
| |
2
|
BooK, R, Ar~O NIVAT, M Linear languages and intersections of classes of languages To appear in SIAM J Comptng
|
| |
3
|
BOOK, R, NIVAT, M, AND PATERSON, M Reversal-bounded acceptors and intersections of hnear languages SIAM J. Comptng 3 (1974), 283-295
|
| |
4
|
GINSnURG, S , AriD GREmACH, S Principal AFL J Comptr Syst Set 4 (1970), 308-338.
|
| |
5
|
GINSBURG, S , GREIBACH, S., AND HOPCROFr, S Pre-AFL Studtes tn Abstract Famlhes of Languages, Memoir No 87, Amer Math Soc, Providence, R I , 1969, pp 41-51
|
| |
6
|
GINSBURC, S , AND SPANtER, E Ftmte-term pushdown automata SlAM J Control 4 (1966), 429-453
|
| |
7
|
GINSBUR~, S , AND SPANIER, E AFL w~th the semdmear property. J Comptr Syst Sct 5 (1971), 365- 396
|
| |
8
|
GREmACI~, S Control sets on context-free grammar forms To appear m J Comptr Syst. Scz.
|
| |
9
|
GREmACH, S One-way fimte wslt automata To appear m Theoret. Comptr. Sct
|
| |
10
|
KLEENE, S lntroductton to Metamathemattcs Van Nostrand, Princeton, N J , 1952.
|
| |
11
|
KLINGENSTmN, K Structures of bounded languages m certain famd~es of languages To appear m Inform Control
|
| |
12
|
KLINGENSTEIN, K p-matrix languages To appear m Theoret Comptr Sct.
|
| |
13
|
|
| |
14
|
STOCKMEYER, L The polynomml-tlme hierarchy Theoret Comptr Scz. 3 (1977), 1-224
|
| |
15
|
SUDBOROU6H, I H The complexity of the membership problem for some extenstons of context-free languages To appear m Int J. Comptr. Math
|
| |
16
|
WRATHALL, C Subrecurswe predicates and automata Ph D Diss , Harvard U , Cambridge, Mass, 1975.
|
| |
17
|
WRATHALL, C Complete sets and polynomml hterarchy Theoret Comptr. Sct 3 (1977), 23-33
|
| |
18
|
WRATHALL, C Characterizations of the Dyck sets To appear m Revue Francazse d'Automatlque, lnformattque , Recherche Operattonnelle 11 (1977)
|
| |
19
|
WRATrIALL, C Rudimentary predicates and relatwe computation To appear m SlAM J Comptng
|