Matches in SemOpenAlex for { <https://semopenalex.org/work/W4225996887> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W4225996887 endingPage "27" @default.
- W4225996887 startingPage "1" @default.
- W4225996887 abstract "We introduce and study input-driven deterministic and nondeterministic double-head pushdown automata. A double-head pushdown automaton is a slight generalization of an ordinary pushdown automaton working with two input heads that move in opposite directions on the common input tape. In every step one head is moved and the automaton decides on acceptance if the heads meet. Demanding the automaton to work input-driven it is required that every input symbol uniquely defines the action on the pushdown store (push, pop, state change). Normally this is modeled by a partition of the input alphabet and is called a signature. Since our automaton model works with two heads either both heads respect the same signature or each head owes its own signature. This results in two variants of input-driven double-head pushdown automata. The induced language families on input-driven double-head pushdown automata are studied from the perspectives of their language describing capability, their closure properties, and decision problems." @default.
- W4225996887 created "2022-05-05" @default.
- W4225996887 creator A5016664760 @default.
- W4225996887 creator A5026803820 @default.
- W4225996887 creator A5083635884 @default.
- W4225996887 creator A5083650443 @default.
- W4225996887 date "2022-04-08" @default.
- W4225996887 modified "2023-10-16" @default.
- W4225996887 title "Input-Driven Double-Head Pushdown Automata" @default.
- W4225996887 doi "https://doi.org/10.1142/s0129054122410064" @default.
- W4225996887 hasPublicationYear "2022" @default.
- W4225996887 type Work @default.
- W4225996887 citedByCount "0" @default.
- W4225996887 crossrefType "journal-article" @default.
- W4225996887 hasAuthorship W4225996887A5016664760 @default.
- W4225996887 hasAuthorship W4225996887A5026803820 @default.
- W4225996887 hasAuthorship W4225996887A5083635884 @default.
- W4225996887 hasAuthorship W4225996887A5083650443 @default.
- W4225996887 hasBestOaLocation W42259968872 @default.
- W4225996887 hasConcept C112505250 @default.
- W4225996887 hasConcept C116248031 @default.
- W4225996887 hasConcept C134083981 @default.
- W4225996887 hasConcept C146834321 @default.
- W4225996887 hasConcept C154945302 @default.
- W4225996887 hasConcept C158008952 @default.
- W4225996887 hasConcept C162324750 @default.
- W4225996887 hasConcept C174327141 @default.
- W4225996887 hasConcept C186644900 @default.
- W4225996887 hasConcept C198838072 @default.
- W4225996887 hasConcept C199360897 @default.
- W4225996887 hasConcept C27034413 @default.
- W4225996887 hasConcept C34447519 @default.
- W4225996887 hasConcept C41008148 @default.
- W4225996887 hasConcept C53893814 @default.
- W4225996887 hasConcept C74919329 @default.
- W4225996887 hasConcept C77944639 @default.
- W4225996887 hasConcept C80444323 @default.
- W4225996887 hasConcept C92117001 @default.
- W4225996887 hasConcept C97212296 @default.
- W4225996887 hasConceptScore W4225996887C112505250 @default.
- W4225996887 hasConceptScore W4225996887C116248031 @default.
- W4225996887 hasConceptScore W4225996887C134083981 @default.
- W4225996887 hasConceptScore W4225996887C146834321 @default.
- W4225996887 hasConceptScore W4225996887C154945302 @default.
- W4225996887 hasConceptScore W4225996887C158008952 @default.
- W4225996887 hasConceptScore W4225996887C162324750 @default.
- W4225996887 hasConceptScore W4225996887C174327141 @default.
- W4225996887 hasConceptScore W4225996887C186644900 @default.
- W4225996887 hasConceptScore W4225996887C198838072 @default.
- W4225996887 hasConceptScore W4225996887C199360897 @default.
- W4225996887 hasConceptScore W4225996887C27034413 @default.
- W4225996887 hasConceptScore W4225996887C34447519 @default.
- W4225996887 hasConceptScore W4225996887C41008148 @default.
- W4225996887 hasConceptScore W4225996887C53893814 @default.
- W4225996887 hasConceptScore W4225996887C74919329 @default.
- W4225996887 hasConceptScore W4225996887C77944639 @default.
- W4225996887 hasConceptScore W4225996887C80444323 @default.
- W4225996887 hasConceptScore W4225996887C92117001 @default.
- W4225996887 hasConceptScore W4225996887C97212296 @default.
- W4225996887 hasLocation W42259968871 @default.
- W4225996887 hasLocation W42259968872 @default.
- W4225996887 hasOpenAccess W4225996887 @default.
- W4225996887 hasPrimaryLocation W42259968871 @default.
- W4225996887 hasRelatedWork W1486486721 @default.
- W4225996887 hasRelatedWork W2007844943 @default.
- W4225996887 hasRelatedWork W2013364977 @default.
- W4225996887 hasRelatedWork W2022934640 @default.
- W4225996887 hasRelatedWork W2044199853 @default.
- W4225996887 hasRelatedWork W2049492436 @default.
- W4225996887 hasRelatedWork W2403684796 @default.
- W4225996887 hasRelatedWork W2519987770 @default.
- W4225996887 hasRelatedWork W2909968134 @default.
- W4225996887 hasRelatedWork W2472752294 @default.
- W4225996887 isParatext "false" @default.
- W4225996887 isRetracted "false" @default.
- W4225996887 workType "article" @default.