Matches in SemOpenAlex for { <https://semopenalex.org/work/W2279174953> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2279174953 abstract "The question whether nondeterminism is more powerful than determinism for two-way automata is one of the most famous old open problems on the border between formal language theory and automata theory. An exponential gap between the number of states of two-way nondeterministic finite automata (2NFA) and their deterministic counterparts (2DFA) was proved only for some restricted versions of two-way automata up to now. This problem is also related to the famous DLOG vs. NLOG problem. A superpolynomial gap between 2NFAs and 2DFAs on words of polynomial length in the parameter of a complete language of Sipser and Sakoda for the 2DFA vs. 2NFAs problem would imply that DLOG is a proper subset of NLOG.The goal of this paper is first to survey the attempts to solve the 2DFA vs. 2NFA problem. After that we discus why this problem is so hard in spite of the fact that one has a very clear intuition why nondeterminism has to be more powerful than determinism for this computing model. It seems that the hardness lies in the fact that, when trying to prove lower bounds on the number of states of 2DFAs, we are not able to force the states to have a clear meaning. When designing an automaton, we always assign an unambiguous interpretation to each state. In an attempt to capture the concept of meaning of states we introduce a new restriction on the two-way automata: Each state is assigned a logical formula expressing some properties of the input word, and transitions of the automaton must be designed in such a way that the assigned formula is true whenever the automaton is in the given state. In our approach we use propositional formulae with various interpreted atoms. For two such reasonable logics we prove an exponential gap between 2NFAs and 2DFAs. Moreover, using our concept of assigning meaning to the states of 2DFAs we show that there is no exponential gap between general 2NFAs and 2DFAs on inputs of a polynomial length of the complete language of Sakoda and Sipser." @default.
- W2279174953 created "2016-06-24" @default.
- W2279174953 creator A5056423330 @default.
- W2279174953 creator A5063305006 @default.
- W2279174953 creator A5088678782 @default.
- W2279174953 date "2012-01-01" @default.
- W2279174953 modified "2023-09-30" @default.
- W2279174953 title "Determinism vs. Nondeterminism for Two-Way Automata" @default.
- W2279174953 cites W1497278126 @default.
- W2279174953 cites W1513200808 @default.
- W2279174953 cites W1555251244 @default.
- W2279174953 cites W1968742011 @default.
- W2279174953 cites W1971747251 @default.
- W2279174953 cites W1975698236 @default.
- W2279174953 cites W1981823970 @default.
- W2279174953 cites W2034243894 @default.
- W2279174953 cites W2054801208 @default.
- W2279174953 cites W2057384603 @default.
- W2279174953 cites W2074307142 @default.
- W2279174953 cites W2085151919 @default.
- W2279174953 cites W2125498855 @default.
- W2279174953 cites W2149288970 @default.
- W2279174953 doi "https://doi.org/10.1007/978-3-642-31653-1_4" @default.
- W2279174953 hasPublicationYear "2012" @default.
- W2279174953 type Work @default.
- W2279174953 sameAs 2279174953 @default.
- W2279174953 citedByCount "1" @default.
- W2279174953 countsByYear W22791749532019 @default.
- W2279174953 crossrefType "book-chapter" @default.
- W2279174953 hasAuthorship W2279174953A5056423330 @default.
- W2279174953 hasAuthorship W2279174953A5063305006 @default.
- W2279174953 hasAuthorship W2279174953A5088678782 @default.
- W2279174953 hasConcept C112505250 @default.
- W2279174953 hasConcept C11413529 @default.
- W2279174953 hasConcept C116248031 @default.
- W2279174953 hasConcept C118615104 @default.
- W2279174953 hasConcept C121332964 @default.
- W2279174953 hasConcept C174327141 @default.
- W2279174953 hasConcept C176181172 @default.
- W2279174953 hasConcept C192183473 @default.
- W2279174953 hasConcept C33923547 @default.
- W2279174953 hasConcept C41008148 @default.
- W2279174953 hasConcept C48103436 @default.
- W2279174953 hasConcept C52370388 @default.
- W2279174953 hasConcept C62520636 @default.
- W2279174953 hasConcept C80444323 @default.
- W2279174953 hasConcept C92710233 @default.
- W2279174953 hasConceptScore W2279174953C112505250 @default.
- W2279174953 hasConceptScore W2279174953C11413529 @default.
- W2279174953 hasConceptScore W2279174953C116248031 @default.
- W2279174953 hasConceptScore W2279174953C118615104 @default.
- W2279174953 hasConceptScore W2279174953C121332964 @default.
- W2279174953 hasConceptScore W2279174953C174327141 @default.
- W2279174953 hasConceptScore W2279174953C176181172 @default.
- W2279174953 hasConceptScore W2279174953C192183473 @default.
- W2279174953 hasConceptScore W2279174953C33923547 @default.
- W2279174953 hasConceptScore W2279174953C41008148 @default.
- W2279174953 hasConceptScore W2279174953C48103436 @default.
- W2279174953 hasConceptScore W2279174953C52370388 @default.
- W2279174953 hasConceptScore W2279174953C62520636 @default.
- W2279174953 hasConceptScore W2279174953C80444323 @default.
- W2279174953 hasConceptScore W2279174953C92710233 @default.
- W2279174953 hasLocation W22791749531 @default.
- W2279174953 hasOpenAccess W2279174953 @default.
- W2279174953 hasPrimaryLocation W22791749531 @default.
- W2279174953 hasRelatedWork W1122858939 @default.
- W2279174953 hasRelatedWork W1534494321 @default.
- W2279174953 hasRelatedWork W1891377390 @default.
- W2279174953 hasRelatedWork W1996475427 @default.
- W2279174953 hasRelatedWork W1998084650 @default.
- W2279174953 hasRelatedWork W2064577184 @default.
- W2279174953 hasRelatedWork W2068490784 @default.
- W2279174953 hasRelatedWork W2074125075 @default.
- W2279174953 hasRelatedWork W2085118356 @default.
- W2279174953 hasRelatedWork W2086440639 @default.
- W2279174953 hasRelatedWork W2097950785 @default.
- W2279174953 hasRelatedWork W2100965091 @default.
- W2279174953 hasRelatedWork W2104050005 @default.
- W2279174953 hasRelatedWork W2166534810 @default.
- W2279174953 hasRelatedWork W2249308842 @default.
- W2279174953 hasRelatedWork W2299084559 @default.
- W2279174953 hasRelatedWork W25732316 @default.
- W2279174953 hasRelatedWork W2593059057 @default.
- W2279174953 hasRelatedWork W2951140919 @default.
- W2279174953 hasRelatedWork W3204777 @default.
- W2279174953 isParatext "false" @default.
- W2279174953 isRetracted "false" @default.
- W2279174953 magId "2279174953" @default.
- W2279174953 workType "book-chapter" @default.