Matches in SemOpenAlex for { <https://semopenalex.org/work/W1680071056> ?p ?o ?g. }
- W1680071056 endingPage "424" @default.
- W1680071056 startingPage "413" @default.
- W1680071056 abstract "We characterize the infinite words determined by one-way stack automata. An infinite language L determines an infinite word alpha if every string in L is a prefix of alpha. If L is regular or context-free, it is known that alpha must be ultimately periodic. We extend this result to the class of languages recognized by one-way nondeterministic checking stack automata (1-NCSA). We then consider stronger classes of stack automata and show that they determine a class of infinite words which we call multilinear. We show that every multilinear word can be written in a form which is amenable to parsing. Finally, we consider the class of one-way multihead deterministic finite automata (1:multi-DFA). We show that every multilinear word can be determined by some 1:multi-DFA, but that there exist infinite words determined by 1:multi-DFA which are not multilinear." @default.
- W1680071056 created "2016-06-24" @default.
- W1680071056 creator A5037596712 @default.
- W1680071056 date "2013-01-01" @default.
- W1680071056 modified "2023-09-23" @default.
- W1680071056 title "On Infinite Words Determined by Stack Automata." @default.
- W1680071056 cites W1508812461 @default.
- W1680071056 cites W1544907355 @default.
- W1680071056 cites W1834767237 @default.
- W1680071056 cites W1982449618 @default.
- W1680071056 cites W1982970845 @default.
- W1680071056 cites W2003927948 @default.
- W1680071056 cites W2016758987 @default.
- W1680071056 cites W2020035155 @default.
- W1680071056 cites W2032744775 @default.
- W1680071056 cites W2040136857 @default.
- W1680071056 cites W2052674111 @default.
- W1680071056 cites W2080215124 @default.
- W1680071056 cites W2089233589 @default.
- W1680071056 cites W2115348183 @default.
- W1680071056 cites W2125495920 @default.
- W1680071056 doi "https://doi.org/10.4230/lipics.fsttcs.2013.413" @default.
- W1680071056 hasPublicationYear "2013" @default.
- W1680071056 type Work @default.
- W1680071056 sameAs 1680071056 @default.
- W1680071056 citedByCount "4" @default.
- W1680071056 countsByYear W16800710562014 @default.
- W1680071056 countsByYear W16800710562015 @default.
- W1680071056 countsByYear W16800710562016 @default.
- W1680071056 countsByYear W16800710562019 @default.
- W1680071056 crossrefType "proceedings-article" @default.
- W1680071056 hasAuthorship W1680071056A5037596712 @default.
- W1680071056 hasConcept C112505250 @default.
- W1680071056 hasConcept C116248031 @default.
- W1680071056 hasConcept C118615104 @default.
- W1680071056 hasConcept C138885662 @default.
- W1680071056 hasConcept C141603448 @default.
- W1680071056 hasConcept C154945302 @default.
- W1680071056 hasConcept C157486923 @default.
- W1680071056 hasConcept C174327141 @default.
- W1680071056 hasConcept C176181172 @default.
- W1680071056 hasConcept C202444582 @default.
- W1680071056 hasConcept C2524010 @default.
- W1680071056 hasConcept C2777212361 @default.
- W1680071056 hasConcept C33923547 @default.
- W1680071056 hasConcept C37914503 @default.
- W1680071056 hasConcept C41008148 @default.
- W1680071056 hasConcept C41895202 @default.
- W1680071056 hasConcept C52370388 @default.
- W1680071056 hasConcept C77944639 @default.
- W1680071056 hasConcept C80444323 @default.
- W1680071056 hasConcept C84392682 @default.
- W1680071056 hasConcept C90805587 @default.
- W1680071056 hasConcept C92117001 @default.
- W1680071056 hasConceptScore W1680071056C112505250 @default.
- W1680071056 hasConceptScore W1680071056C116248031 @default.
- W1680071056 hasConceptScore W1680071056C118615104 @default.
- W1680071056 hasConceptScore W1680071056C138885662 @default.
- W1680071056 hasConceptScore W1680071056C141603448 @default.
- W1680071056 hasConceptScore W1680071056C154945302 @default.
- W1680071056 hasConceptScore W1680071056C157486923 @default.
- W1680071056 hasConceptScore W1680071056C174327141 @default.
- W1680071056 hasConceptScore W1680071056C176181172 @default.
- W1680071056 hasConceptScore W1680071056C202444582 @default.
- W1680071056 hasConceptScore W1680071056C2524010 @default.
- W1680071056 hasConceptScore W1680071056C2777212361 @default.
- W1680071056 hasConceptScore W1680071056C33923547 @default.
- W1680071056 hasConceptScore W1680071056C37914503 @default.
- W1680071056 hasConceptScore W1680071056C41008148 @default.
- W1680071056 hasConceptScore W1680071056C41895202 @default.
- W1680071056 hasConceptScore W1680071056C52370388 @default.
- W1680071056 hasConceptScore W1680071056C77944639 @default.
- W1680071056 hasConceptScore W1680071056C80444323 @default.
- W1680071056 hasConceptScore W1680071056C84392682 @default.
- W1680071056 hasConceptScore W1680071056C90805587 @default.
- W1680071056 hasConceptScore W1680071056C92117001 @default.
- W1680071056 hasLocation W16800710561 @default.
- W1680071056 hasOpenAccess W1680071056 @default.
- W1680071056 hasPrimaryLocation W16800710561 @default.
- W1680071056 hasRelatedWork W1132487926 @default.
- W1680071056 hasRelatedWork W1495977135 @default.
- W1680071056 hasRelatedWork W1529995230 @default.
- W1680071056 hasRelatedWork W1547995103 @default.
- W1680071056 hasRelatedWork W1584138221 @default.
- W1680071056 hasRelatedWork W1589494865 @default.
- W1680071056 hasRelatedWork W1594530072 @default.
- W1680071056 hasRelatedWork W2022386943 @default.
- W1680071056 hasRelatedWork W2158448273 @default.
- W1680071056 hasRelatedWork W2612243066 @default.
- W1680071056 hasRelatedWork W2941439348 @default.
- W1680071056 hasRelatedWork W3037332318 @default.
- W1680071056 hasRelatedWork W3103534563 @default.
- W1680071056 hasRelatedWork W3116363031 @default.
- W1680071056 hasRelatedWork W3181339248 @default.
- W1680071056 hasRelatedWork W3189314826 @default.
- W1680071056 hasRelatedWork W3191074147 @default.
- W1680071056 hasRelatedWork W3196841993 @default.
- W1680071056 hasRelatedWork W3198705318 @default.