Matches in SemOpenAlex for { <https://semopenalex.org/work/W2055240117> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W2055240117 abstract "Previous results in the literature which describe separation theorems for time bounded complexity classes serve also to separate classes defined by tape bounded auxiliary pushdown automata. Results described here refine these basic relationships between classes defined by tape bounded AuxPDA. It is shown that, for auxiliary PDA fully constructable functions S0 and S1 satisfying S1 (n+1) ε o,(S0 (n)), S0 tape bounded AuxPDA are more powerful than S1 tape bounded AuxPDA. Further results refine the resulting separation by the number of worktape symbols and the number of worktape heads. Results are also described for separating classes defined by tape bounded AuxPDA with one pushdown store symbol, i.e. auxiliary counter automata (AuxCA). Refinements of the known equivalence of nondeterministic L(n)-tape bounded AuxPDA and deterministic L(n)-tape bounded AuxPDA are also described. One corollary is that every two-way nondeterministic PDA can be simulated by a two-way deterministic PDA with four input tape heads and that every context-free language can be recognized by a deterministic two-way PDA with three heads. Another corollary of these results shows that there are languages over a single letter alphabet which are recognized by (k+1)-head two-way PDA but cannot be recognized by any k-head two-way PDA. It is shown also that AuxPDA and AuxCA can fully construct very slow growing functions so that even small amounts of worktape space (e.g. that bounded by log*n) increase their computational power." @default.
- W2055240117 created "2016-06-24" @default.
- W2055240117 creator A5061707475 @default.
- W2055240117 date "1977-01-01" @default.
- W2055240117 modified "2023-10-16" @default.
- W2055240117 title "Separating tape bounded auxiliary pushdown automata classes" @default.
- W2055240117 cites W1573534320 @default.
- W2055240117 cites W1817451992 @default.
- W2055240117 cites W1968302689 @default.
- W2055240117 cites W1980879781 @default.
- W2055240117 cites W1982129592 @default.
- W2055240117 cites W2000552003 @default.
- W2055240117 cites W2053730920 @default.
- W2055240117 cites W2060975544 @default.
- W2055240117 cites W2078740605 @default.
- W2055240117 cites W2079275582 @default.
- W2055240117 cites W2089141720 @default.
- W2055240117 cites W2533977282 @default.
- W2055240117 doi "https://doi.org/10.1145/800105.803410" @default.
- W2055240117 hasPublicationYear "1977" @default.
- W2055240117 type Work @default.
- W2055240117 sameAs 2055240117 @default.
- W2055240117 citedByCount "7" @default.
- W2055240117 countsByYear W20552401172013 @default.
- W2055240117 countsByYear W20552401172017 @default.
- W2055240117 crossrefType "proceedings-article" @default.
- W2055240117 hasAuthorship W2055240117A5061707475 @default.
- W2055240117 hasConcept C112505250 @default.
- W2055240117 hasConcept C114614502 @default.
- W2055240117 hasConcept C118615104 @default.
- W2055240117 hasConcept C134306372 @default.
- W2055240117 hasConcept C176181172 @default.
- W2055240117 hasConcept C33923547 @default.
- W2055240117 hasConcept C34388435 @default.
- W2055240117 hasConcept C41008148 @default.
- W2055240117 hasConcept C77944639 @default.
- W2055240117 hasConcept C80444323 @default.
- W2055240117 hasConceptScore W2055240117C112505250 @default.
- W2055240117 hasConceptScore W2055240117C114614502 @default.
- W2055240117 hasConceptScore W2055240117C118615104 @default.
- W2055240117 hasConceptScore W2055240117C134306372 @default.
- W2055240117 hasConceptScore W2055240117C176181172 @default.
- W2055240117 hasConceptScore W2055240117C33923547 @default.
- W2055240117 hasConceptScore W2055240117C34388435 @default.
- W2055240117 hasConceptScore W2055240117C41008148 @default.
- W2055240117 hasConceptScore W2055240117C77944639 @default.
- W2055240117 hasConceptScore W2055240117C80444323 @default.
- W2055240117 hasLocation W20552401171 @default.
- W2055240117 hasOpenAccess W2055240117 @default.
- W2055240117 hasPrimaryLocation W20552401171 @default.
- W2055240117 hasRelatedWork W1081471053 @default.
- W2055240117 hasRelatedWork W1561689075 @default.
- W2055240117 hasRelatedWork W1606810574 @default.
- W2055240117 hasRelatedWork W1829299902 @default.
- W2055240117 hasRelatedWork W2069826658 @default.
- W2055240117 hasRelatedWork W2113414099 @default.
- W2055240117 hasRelatedWork W2123466414 @default.
- W2055240117 hasRelatedWork W2408319280 @default.
- W2055240117 hasRelatedWork W2479035751 @default.
- W2055240117 hasRelatedWork W4307896660 @default.
- W2055240117 isParatext "false" @default.
- W2055240117 isRetracted "false" @default.
- W2055240117 magId "2055240117" @default.
- W2055240117 workType "article" @default.