Matches in SemOpenAlex for { <https://semopenalex.org/work/W29362136> ?p ?o ?g. }
Showing items 1 to 50 of
50
with 100 items per page.
- W29362136 endingPage "197" @default.
- W29362136 startingPage "184" @default.
- W29362136 abstract "Motivated by applications to verification problems in string manipulating programs, we look at the problem of whether the heads in a multitape automaton are synchronized. Given an n-tape pushdown automaton M with a one-way read-only head per tape and a right end marker $ on each tape, and an integer k ≥ 0, we say that M is ksynchronized if at any time during any computation of M on any input n-tuple (x1, . . . , xn) (whether or not it is accepted), no pair of input heads that are not on $ are more than k cells apart. This requirement is automatically satisfied if one of the heads has reached $. Note that an n-tuple (x1, . . . , xn) is accepted if M reaches the configuration where all n heads are on $ and M is in an accepting state. The automaton can be deterministic (DPDA) or nondeterministic (NPDA) and, in the special case, may not have a pushdown stack (DFA, NFA). We obtain decidability and undecidability results for these devices for both one-way and two-way versions. We also consider the notion of k-synchronized oneway and two-way multihead automata and investigate similar problems." @default.
- W29362136 created "2016-06-24" @default.
- W29362136 creator A5045721364 @default.
- W29362136 creator A5074809336 @default.
- W29362136 date "2011-01-01" @default.
- W29362136 modified "2023-09-24" @default.
- W29362136 title "On Synchronized Multitape and Multihead Automata" @default.
- W29362136 cites W1530609294 @default.
- W29362136 cites W1561331110 @default.
- W29362136 cites W1988472308 @default.
- W29362136 cites W2023999667 @default.
- W29362136 cites W2032543301 @default.
- W29362136 cites W2061970672 @default.
- W29362136 cites W2111270089 @default.
- W29362136 cites W2157623558 @default.
- W29362136 doi "https://doi.org/10.1007/978-3-642-22600-7_15" @default.
- W29362136 hasPublicationYear "2011" @default.
- W29362136 type Work @default.
- W29362136 sameAs 29362136 @default.
- W29362136 citedByCount "7" @default.
- W29362136 countsByYear W293621362012 @default.
- W29362136 countsByYear W293621362013 @default.
- W29362136 crossrefType "book-chapter" @default.
- W29362136 hasAuthorship W29362136A5045721364 @default.
- W29362136 hasAuthorship W29362136A5074809336 @default.
- W29362136 hasConcept C112505250 @default.
- W29362136 hasConcept C41008148 @default.
- W29362136 hasConcept C80444323 @default.
- W29362136 hasConceptScore W29362136C112505250 @default.
- W29362136 hasConceptScore W29362136C41008148 @default.
- W29362136 hasConceptScore W29362136C80444323 @default.
- W29362136 hasLocation W293621361 @default.
- W29362136 hasOpenAccess W29362136 @default.
- W29362136 hasPrimaryLocation W293621361 @default.
- W29362136 hasRelatedWork W153904579 @default.
- W29362136 hasRelatedWork W1584197856 @default.
- W29362136 hasRelatedWork W2047802234 @default.
- W29362136 hasRelatedWork W207332311 @default.
- W29362136 hasRelatedWork W2325436751 @default.
- W29362136 hasRelatedWork W2330733397 @default.
- W29362136 hasRelatedWork W2368796975 @default.
- W29362136 hasRelatedWork W2740942814 @default.
- W29362136 hasRelatedWork W2602338684 @default.
- W29362136 hasRelatedWork W2751931981 @default.
- W29362136 isParatext "false" @default.
- W29362136 isRetracted "false" @default.
- W29362136 magId "29362136" @default.
- W29362136 workType "book-chapter" @default.