Matches in SemOpenAlex for { <https://semopenalex.org/work/W137446181> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W137446181 endingPage "489" @default.
- W137446181 startingPage "478" @default.
- W137446181 abstract "Lookahead DFA are used during parsing for sake of resolving conflicts (as described in more detail in the introduction). The parsing of an input string w may require many DFA-explorations starting from different letter positions. This raises the question how many of these explorations can be active at the same time. If there is a bound on this number depending on the given DFA M only (i.e., the bound is valid for all input strings w), we say that M has a bounded activity level. The main results in this paper are as follows. We define an easy-to-check property of DFA named prefix-cyclicity and show that precisely the non prefix-cyclic DFA have a bounded activity level. Moreover, the largest possible number ℓ M of mutually overlapping explorations of a given non prefix-cyclic DFA M with t + 1 states, the so-called maximum activity level of M, is bounded from above by 2 t − 1, and this bound is tight. We show furthermore that the maximum activity levels of equivalent DFA coincide so as to form an invariant of the underlying regular language, which leads us to a characterization of prefix-cyclicity in terms of the Nerode relation. We finally establish some complexity results. For instance, the problem of computing ℓ M for a given non prefix-cyclic DFA M is shown to be PSPACE-complete." @default.
- W137446181 created "2016-06-24" @default.
- W137446181 creator A5023809298 @default.
- W137446181 creator A5032272542 @default.
- W137446181 date "2014-01-01" @default.
- W137446181 modified "2023-09-23" @default.
- W137446181 title "DFA with a Bounded Activity Level" @default.
- W137446181 cites W1600379552 @default.
- W137446181 cites W1972613240 @default.
- W137446181 cites W1989313238 @default.
- W137446181 cites W2011896212 @default.
- W137446181 cites W2034706096 @default.
- W137446181 cites W2037407030 @default.
- W137446181 cites W2039529128 @default.
- W137446181 cites W2064490449 @default.
- W137446181 doi "https://doi.org/10.1007/978-3-319-04921-2_39" @default.
- W137446181 hasPublicationYear "2014" @default.
- W137446181 type Work @default.
- W137446181 sameAs 137446181 @default.
- W137446181 citedByCount "2" @default.
- W137446181 countsByYear W1374461812015 @default.
- W137446181 countsByYear W1374461812021 @default.
- W137446181 crossrefType "book-chapter" @default.
- W137446181 hasAuthorship W137446181A5023809298 @default.
- W137446181 hasAuthorship W137446181A5032272542 @default.
- W137446181 hasConcept C114614502 @default.
- W137446181 hasConcept C118615104 @default.
- W137446181 hasConcept C134306372 @default.
- W137446181 hasConcept C138885662 @default.
- W137446181 hasConcept C141603448 @default.
- W137446181 hasConcept C154945302 @default.
- W137446181 hasConcept C157486923 @default.
- W137446181 hasConcept C186644900 @default.
- W137446181 hasConcept C190470478 @default.
- W137446181 hasConcept C33923547 @default.
- W137446181 hasConcept C34388435 @default.
- W137446181 hasConcept C37914503 @default.
- W137446181 hasConcept C41008148 @default.
- W137446181 hasConcept C41895202 @default.
- W137446181 hasConcept C77553402 @default.
- W137446181 hasConceptScore W137446181C114614502 @default.
- W137446181 hasConceptScore W137446181C118615104 @default.
- W137446181 hasConceptScore W137446181C134306372 @default.
- W137446181 hasConceptScore W137446181C138885662 @default.
- W137446181 hasConceptScore W137446181C141603448 @default.
- W137446181 hasConceptScore W137446181C154945302 @default.
- W137446181 hasConceptScore W137446181C157486923 @default.
- W137446181 hasConceptScore W137446181C186644900 @default.
- W137446181 hasConceptScore W137446181C190470478 @default.
- W137446181 hasConceptScore W137446181C33923547 @default.
- W137446181 hasConceptScore W137446181C34388435 @default.
- W137446181 hasConceptScore W137446181C37914503 @default.
- W137446181 hasConceptScore W137446181C41008148 @default.
- W137446181 hasConceptScore W137446181C41895202 @default.
- W137446181 hasConceptScore W137446181C77553402 @default.
- W137446181 hasLocation W1374461811 @default.
- W137446181 hasOpenAccess W137446181 @default.
- W137446181 hasPrimaryLocation W1374461811 @default.
- W137446181 hasRelatedWork W1486855948 @default.
- W137446181 hasRelatedWork W1607726551 @default.
- W137446181 hasRelatedWork W1884608920 @default.
- W137446181 hasRelatedWork W2143829464 @default.
- W137446181 hasRelatedWork W2376950174 @default.
- W137446181 hasRelatedWork W2962745916 @default.
- W137446181 hasRelatedWork W4294883796 @default.
- W137446181 hasRelatedWork W4300029875 @default.
- W137446181 hasRelatedWork W4317600672 @default.
- W137446181 hasRelatedWork W4362554012 @default.
- W137446181 isParatext "false" @default.
- W137446181 isRetracted "false" @default.
- W137446181 magId "137446181" @default.
- W137446181 workType "book-chapter" @default.