Matches in SemOpenAlex for { <https://semopenalex.org/work/W2035955066> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2035955066 endingPage "66" @default.
- W2035955066 startingPage "54" @default.
- W2035955066 abstract "We present a novel canonical automaton model, based on register automata, that can be used to specify protocol or program behavior. Register automata have a finite control structure and a finite number of registers (variables), and process sequences of terms that carry data values from an infinite domain. We consider register automata that compare data values for equality. A major contribution is the definition of a canonical automaton representation of any language recognizable by a deterministic register automaton, by means of a Nerode congruence. This canonical form is well suited for modeling, e.g., protocols or program behavior. Our model can be exponentially more succinct than previous proposals, since it filters out ‘accidental’ relations between data values. This opens the way to new practical applications, e.g., in automata learning." @default.
- W2035955066 created "2016-06-24" @default.
- W2035955066 creator A5009514870 @default.
- W2035955066 creator A5037058130 @default.
- W2035955066 creator A5066183247 @default.
- W2035955066 creator A5078808456 @default.
- W2035955066 creator A5082011304 @default.
- W2035955066 date "2015-01-01" @default.
- W2035955066 modified "2023-10-18" @default.
- W2035955066 title "A succinct canonical register automaton model" @default.
- W2035955066 cites W1969005071 @default.
- W2035955066 cites W1989445634 @default.
- W2035955066 cites W1993445050 @default.
- W2035955066 cites W2014246868 @default.
- W2035955066 cites W2021473546 @default.
- W2035955066 cites W2068361557 @default.
- W2035955066 cites W2073614038 @default.
- W2035955066 cites W2081396910 @default.
- W2035955066 cites W2088432971 @default.
- W2035955066 cites W2101508170 @default.
- W2035955066 cites W2122676216 @default.
- W2035955066 cites W2140606869 @default.
- W2035955066 cites W2163310156 @default.
- W2035955066 cites W2263617848 @default.
- W2035955066 doi "https://doi.org/10.1016/j.jlamp.2014.07.004" @default.
- W2035955066 hasPublicationYear "2015" @default.
- W2035955066 type Work @default.
- W2035955066 sameAs 2035955066 @default.
- W2035955066 citedByCount "12" @default.
- W2035955066 countsByYear W20359550662015 @default.
- W2035955066 countsByYear W20359550662016 @default.
- W2035955066 countsByYear W20359550662017 @default.
- W2035955066 countsByYear W20359550662018 @default.
- W2035955066 countsByYear W20359550662019 @default.
- W2035955066 countsByYear W20359550662020 @default.
- W2035955066 countsByYear W20359550662021 @default.
- W2035955066 countsByYear W20359550662022 @default.
- W2035955066 crossrefType "journal-article" @default.
- W2035955066 hasAuthorship W2035955066A5009514870 @default.
- W2035955066 hasAuthorship W2035955066A5037058130 @default.
- W2035955066 hasAuthorship W2035955066A5066183247 @default.
- W2035955066 hasAuthorship W2035955066A5078808456 @default.
- W2035955066 hasAuthorship W2035955066A5082011304 @default.
- W2035955066 hasBestOaLocation W20359550661 @default.
- W2035955066 hasConcept C112505250 @default.
- W2035955066 hasConcept C11413529 @default.
- W2035955066 hasConcept C116248031 @default.
- W2035955066 hasConcept C138885662 @default.
- W2035955066 hasConcept C139423837 @default.
- W2035955066 hasConcept C165753454 @default.
- W2035955066 hasConcept C174327141 @default.
- W2035955066 hasConcept C194525867 @default.
- W2035955066 hasConcept C202444582 @default.
- W2035955066 hasConcept C204707403 @default.
- W2035955066 hasConcept C2779235478 @default.
- W2035955066 hasConcept C30788636 @default.
- W2035955066 hasConcept C33923547 @default.
- W2035955066 hasConcept C41008148 @default.
- W2035955066 hasConcept C41895202 @default.
- W2035955066 hasConcept C80444323 @default.
- W2035955066 hasConcept C92710233 @default.
- W2035955066 hasConceptScore W2035955066C112505250 @default.
- W2035955066 hasConceptScore W2035955066C11413529 @default.
- W2035955066 hasConceptScore W2035955066C116248031 @default.
- W2035955066 hasConceptScore W2035955066C138885662 @default.
- W2035955066 hasConceptScore W2035955066C139423837 @default.
- W2035955066 hasConceptScore W2035955066C165753454 @default.
- W2035955066 hasConceptScore W2035955066C174327141 @default.
- W2035955066 hasConceptScore W2035955066C194525867 @default.
- W2035955066 hasConceptScore W2035955066C202444582 @default.
- W2035955066 hasConceptScore W2035955066C204707403 @default.
- W2035955066 hasConceptScore W2035955066C2779235478 @default.
- W2035955066 hasConceptScore W2035955066C30788636 @default.
- W2035955066 hasConceptScore W2035955066C33923547 @default.
- W2035955066 hasConceptScore W2035955066C41008148 @default.
- W2035955066 hasConceptScore W2035955066C41895202 @default.
- W2035955066 hasConceptScore W2035955066C80444323 @default.
- W2035955066 hasConceptScore W2035955066C92710233 @default.
- W2035955066 hasFunder F4320320300 @default.
- W2035955066 hasIssue "1" @default.
- W2035955066 hasLocation W20359550661 @default.
- W2035955066 hasOpenAccess W2035955066 @default.
- W2035955066 hasPrimaryLocation W20359550661 @default.
- W2035955066 hasRelatedWork W131394547 @default.
- W2035955066 hasRelatedWork W1482505495 @default.
- W2035955066 hasRelatedWork W185868636 @default.
- W2035955066 hasRelatedWork W1968553685 @default.
- W2035955066 hasRelatedWork W2040844343 @default.
- W2035955066 hasRelatedWork W2184634081 @default.
- W2035955066 hasRelatedWork W2981250289 @default.
- W2035955066 hasRelatedWork W3191465415 @default.
- W2035955066 hasRelatedWork W4243666448 @default.
- W2035955066 hasRelatedWork W2134923509 @default.
- W2035955066 hasVolume "84" @default.
- W2035955066 isParatext "false" @default.
- W2035955066 isRetracted "false" @default.
- W2035955066 magId "2035955066" @default.
- W2035955066 workType "article" @default.