Matches in SemOpenAlex for { <https://semopenalex.org/work/W1986196380> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W1986196380 endingPage "316" @default.
- W1986196380 startingPage "299" @default.
- W1986196380 abstract "Deterministic and nondeterministic finite-state recognizability over finite structures are introduced in an algebraic setting, avoiding detailed computational conventions as needed in the definition of finite-state acceptors. For deterministic recognizability, the classical approach is adopted, using a “uniform” homomorphism from the input domain (consisting of terms) into a finite algebra. For the nondeterministic case, we refer to relational input structures and to an acceptance via relational homomorphisms (which are applied “nonuniformly” since they depend on the input structures). We show how this approach encompasses known models of nondeterministic automata over finite words, trees, pictures, and graphs, and present some elementary metaresults connecting uniform recognizability, nonuniform recognizability, and monadic second-order logic." @default.
- W1986196380 created "2016-06-24" @default.
- W1986196380 creator A5020814539 @default.
- W1986196380 date "2003-01-01" @default.
- W1986196380 modified "2023-09-27" @default.
- W1986196380 title "Uniform and nonuniform recognizability" @default.
- W1986196380 cites W1505482284 @default.
- W1986196380 cites W1529497146 @default.
- W1986196380 cites W1546126118 @default.
- W1986196380 cites W1563892973 @default.
- W1986196380 cites W1587779614 @default.
- W1986196380 cites W1605019912 @default.
- W1986196380 cites W1816620374 @default.
- W1986196380 cites W1870847788 @default.
- W1986196380 cites W1970318994 @default.
- W1986196380 cites W1980992394 @default.
- W1986196380 cites W1983682288 @default.
- W1986196380 cites W1990618979 @default.
- W1986196380 cites W2028357390 @default.
- W1986196380 cites W2035020702 @default.
- W1986196380 cites W2073663206 @default.
- W1986196380 cites W2131742729 @default.
- W1986196380 cites W2132750992 @default.
- W1986196380 cites W2150339067 @default.
- W1986196380 cites W2258595992 @default.
- W1986196380 cites W2401216365 @default.
- W1986196380 cites W2547662413 @default.
- W1986196380 cites W2911295106 @default.
- W1986196380 cites W3037477934 @default.
- W1986196380 doi "https://doi.org/10.1016/s0304-3975(01)00229-8" @default.
- W1986196380 hasPublicationYear "2003" @default.
- W1986196380 type Work @default.
- W1986196380 sameAs 1986196380 @default.
- W1986196380 citedByCount "7" @default.
- W1986196380 countsByYear W19861963802014 @default.
- W1986196380 countsByYear W19861963802018 @default.
- W1986196380 countsByYear W19861963802019 @default.
- W1986196380 crossrefType "journal-article" @default.
- W1986196380 hasAuthorship W1986196380A5020814539 @default.
- W1986196380 hasConcept C104091681 @default.
- W1986196380 hasConcept C112505250 @default.
- W1986196380 hasConcept C11413529 @default.
- W1986196380 hasConcept C116248031 @default.
- W1986196380 hasConcept C118615104 @default.
- W1986196380 hasConcept C134306372 @default.
- W1986196380 hasConcept C136119220 @default.
- W1986196380 hasConcept C158008952 @default.
- W1986196380 hasConcept C167822520 @default.
- W1986196380 hasConcept C176181172 @default.
- W1986196380 hasConcept C182419690 @default.
- W1986196380 hasConcept C202444582 @default.
- W1986196380 hasConcept C33923547 @default.
- W1986196380 hasConcept C4042151 @default.
- W1986196380 hasConcept C41008148 @default.
- W1986196380 hasConcept C5655090 @default.
- W1986196380 hasConcept C77088390 @default.
- W1986196380 hasConcept C80444323 @default.
- W1986196380 hasConcept C9376300 @default.
- W1986196380 hasConcept C95916125 @default.
- W1986196380 hasConceptScore W1986196380C104091681 @default.
- W1986196380 hasConceptScore W1986196380C112505250 @default.
- W1986196380 hasConceptScore W1986196380C11413529 @default.
- W1986196380 hasConceptScore W1986196380C116248031 @default.
- W1986196380 hasConceptScore W1986196380C118615104 @default.
- W1986196380 hasConceptScore W1986196380C134306372 @default.
- W1986196380 hasConceptScore W1986196380C136119220 @default.
- W1986196380 hasConceptScore W1986196380C158008952 @default.
- W1986196380 hasConceptScore W1986196380C167822520 @default.
- W1986196380 hasConceptScore W1986196380C176181172 @default.
- W1986196380 hasConceptScore W1986196380C182419690 @default.
- W1986196380 hasConceptScore W1986196380C202444582 @default.
- W1986196380 hasConceptScore W1986196380C33923547 @default.
- W1986196380 hasConceptScore W1986196380C4042151 @default.
- W1986196380 hasConceptScore W1986196380C41008148 @default.
- W1986196380 hasConceptScore W1986196380C5655090 @default.
- W1986196380 hasConceptScore W1986196380C77088390 @default.
- W1986196380 hasConceptScore W1986196380C80444323 @default.
- W1986196380 hasConceptScore W1986196380C9376300 @default.
- W1986196380 hasConceptScore W1986196380C95916125 @default.
- W1986196380 hasIssue "1" @default.
- W1986196380 hasLocation W19861963801 @default.
- W1986196380 hasOpenAccess W1986196380 @default.
- W1986196380 hasPrimaryLocation W19861963801 @default.
- W1986196380 hasRelatedWork W1503601067 @default.
- W1986196380 hasRelatedWork W1851980922 @default.
- W1986196380 hasRelatedWork W1945859206 @default.
- W1986196380 hasRelatedWork W1981823970 @default.
- W1986196380 hasRelatedWork W1986196380 @default.
- W1986196380 hasRelatedWork W1998470112 @default.
- W1986196380 hasRelatedWork W2095282951 @default.
- W1986196380 hasRelatedWork W2149288970 @default.
- W1986196380 hasRelatedWork W2963200349 @default.
- W1986196380 hasRelatedWork W2973197960 @default.
- W1986196380 hasVolume "292" @default.
- W1986196380 isParatext "false" @default.
- W1986196380 isRetracted "false" @default.
- W1986196380 magId "1986196380" @default.
- W1986196380 workType "article" @default.