Matches in SemOpenAlex for { <https://semopenalex.org/work/W2055366844> ?p ?o ?g. }
- W2055366844 endingPage "336" @default.
- W2055366844 startingPage "319" @default.
- W2055366844 abstract "The study of synchronized alternating machines has enabled to characterize several natural complexity classes. It is known that synchronized alternating space SASPACE( S ( n ))= ∪ c>0 NSPACE( nc S ( n ) ) for any (space-constructible) function S ( n ) [Hromkovicˇet al. (1991)]. In particular, context-sensitive languages are characterized by two-way synchronized alternating finite automata. Furthermore, PSPACE is characterized by synchronized alternating multihead finite automata and NLOG by synchronized alternating two-way finite automata with parallelism bounded by a constant. In the present paper we prove analogous characterizations for deterministic space classes using a restricted form of synchronization — globally deterministic synchronization. This enables to study the well-known open problems concerning nondeterminism versus determinism as problems about synchronization. We also show that globally deterministic synchronization is strictly more powerful than deterministic synchronization." @default.
- W2055366844 created "2016-06-24" @default.
- W2055366844 creator A5020028001 @default.
- W2055366844 creator A5065271127 @default.
- W2055366844 creator A5088678782 @default.
- W2055366844 date "1994-09-01" @default.
- W2055366844 modified "2023-09-30" @default.
- W2055366844 title "Deterministic versus nondeterministic space in terms of synchronized alternating machines" @default.
- W2055366844 cites W106515723 @default.
- W2055366844 cites W1519531061 @default.
- W2055366844 cites W1538597273 @default.
- W2055366844 cites W1553394266 @default.
- W2055366844 cites W1566522965 @default.
- W2055366844 cites W1581776370 @default.
- W2055366844 cites W1590283810 @default.
- W2055366844 cites W1728758868 @default.
- W2055366844 cites W1856220670 @default.
- W2055366844 cites W1979188657 @default.
- W2055366844 cites W1985604029 @default.
- W2055366844 cites W1999721795 @default.
- W2055366844 cites W2007159761 @default.
- W2055366844 cites W2007893212 @default.
- W2055366844 cites W2012783289 @default.
- W2055366844 cites W2043360684 @default.
- W2055366844 cites W2048052050 @default.
- W2055366844 cites W2053694515 @default.
- W2055366844 cites W2061631274 @default.
- W2055366844 cites W2077686754 @default.
- W2055366844 cites W2077819737 @default.
- W2055366844 cites W2107702484 @default.
- W2055366844 cites W2533977282 @default.
- W2055366844 cites W98817145 @default.
- W2055366844 doi "https://doi.org/10.1016/0304-3975(94)90238-0" @default.
- W2055366844 hasPublicationYear "1994" @default.
- W2055366844 type Work @default.
- W2055366844 sameAs 2055366844 @default.
- W2055366844 citedByCount "17" @default.
- W2055366844 countsByYear W20553668442012 @default.
- W2055366844 crossrefType "journal-article" @default.
- W2055366844 hasAuthorship W2055366844A5020028001 @default.
- W2055366844 hasAuthorship W2055366844A5065271127 @default.
- W2055366844 hasAuthorship W2055366844A5088678782 @default.
- W2055366844 hasConcept C104091681 @default.
- W2055366844 hasConcept C112505250 @default.
- W2055366844 hasConcept C11413529 @default.
- W2055366844 hasConcept C114614502 @default.
- W2055366844 hasConcept C116248031 @default.
- W2055366844 hasConcept C118615104 @default.
- W2055366844 hasConcept C121332964 @default.
- W2055366844 hasConcept C134306372 @default.
- W2055366844 hasConcept C151730666 @default.
- W2055366844 hasConcept C158008952 @default.
- W2055366844 hasConcept C167822520 @default.
- W2055366844 hasConcept C176181172 @default.
- W2055366844 hasConcept C179799912 @default.
- W2055366844 hasConcept C184720557 @default.
- W2055366844 hasConcept C192183473 @default.
- W2055366844 hasConcept C194525867 @default.
- W2055366844 hasConcept C197685441 @default.
- W2055366844 hasConcept C199360897 @default.
- W2055366844 hasConcept C2777027219 @default.
- W2055366844 hasConcept C2778562939 @default.
- W2055366844 hasConcept C2779343474 @default.
- W2055366844 hasConcept C33923547 @default.
- W2055366844 hasConcept C34388435 @default.
- W2055366844 hasConcept C41008148 @default.
- W2055366844 hasConcept C62520636 @default.
- W2055366844 hasConcept C80444323 @default.
- W2055366844 hasConcept C86803240 @default.
- W2055366844 hasConceptScore W2055366844C104091681 @default.
- W2055366844 hasConceptScore W2055366844C112505250 @default.
- W2055366844 hasConceptScore W2055366844C11413529 @default.
- W2055366844 hasConceptScore W2055366844C114614502 @default.
- W2055366844 hasConceptScore W2055366844C116248031 @default.
- W2055366844 hasConceptScore W2055366844C118615104 @default.
- W2055366844 hasConceptScore W2055366844C121332964 @default.
- W2055366844 hasConceptScore W2055366844C134306372 @default.
- W2055366844 hasConceptScore W2055366844C151730666 @default.
- W2055366844 hasConceptScore W2055366844C158008952 @default.
- W2055366844 hasConceptScore W2055366844C167822520 @default.
- W2055366844 hasConceptScore W2055366844C176181172 @default.
- W2055366844 hasConceptScore W2055366844C179799912 @default.
- W2055366844 hasConceptScore W2055366844C184720557 @default.
- W2055366844 hasConceptScore W2055366844C192183473 @default.
- W2055366844 hasConceptScore W2055366844C194525867 @default.
- W2055366844 hasConceptScore W2055366844C197685441 @default.
- W2055366844 hasConceptScore W2055366844C199360897 @default.
- W2055366844 hasConceptScore W2055366844C2777027219 @default.
- W2055366844 hasConceptScore W2055366844C2778562939 @default.
- W2055366844 hasConceptScore W2055366844C2779343474 @default.
- W2055366844 hasConceptScore W2055366844C33923547 @default.
- W2055366844 hasConceptScore W2055366844C34388435 @default.
- W2055366844 hasConceptScore W2055366844C41008148 @default.
- W2055366844 hasConceptScore W2055366844C62520636 @default.
- W2055366844 hasConceptScore W2055366844C80444323 @default.
- W2055366844 hasConceptScore W2055366844C86803240 @default.
- W2055366844 hasIssue "1-2" @default.
- W2055366844 hasLocation W20553668441 @default.