Matches in SemOpenAlex for { <https://semopenalex.org/work/W1998361452> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W1998361452 endingPage "1727" @default.
- W1998361452 startingPage "1711" @default.
- W1998361452 abstract "A classical result (often credited to Y. Medvedev) states that every language recognized by a finite automaton is the homomorphic image of a local language, over a much larger so-called local alphabet, namely the alphabet of the edges of the transition graph. Local languages are characterized by the value k = 2 of the sliding window width in the McNaughton and Papert's infinite hierarchy of strictly locally testable languages (k-slt). We generalize Medvedev's result in a new direction, studying the relationship between the width and the alphabetic ratio telling how much larger the local alphabet is. We prove that every regular language is the image of a k-slt language on an alphabet of doubled size, where the width logarithmically depends on the automaton size, and we exhibit regular languages for which any smaller alphabetic ratio is insufficient. More generally, we express the trade-off between alphabetic ratio and width as a mathematical relation derived from a careful encoding of the states. At last we mention directions for theoretical development and application." @default.
- W1998361452 created "2016-06-24" @default.
- W1998361452 creator A5032415790 @default.
- W1998361452 creator A5064490024 @default.
- W1998361452 date "2012-12-01" @default.
- W1998361452 modified "2023-10-17" @default.
- W1998361452 title "FROM REGULAR TO STRICTLY LOCALLY TESTABLE LANGUAGES" @default.
- W1998361452 cites W1964088589 @default.
- W1998361452 cites W1966016761 @default.
- W1998361452 cites W2031469331 @default.
- W1998361452 cites W2058302256 @default.
- W1998361452 cites W2090901599 @default.
- W1998361452 cites W2121164581 @default.
- W1998361452 cites W2134915081 @default.
- W1998361452 doi "https://doi.org/10.1142/s0129054112400710" @default.
- W1998361452 hasPublicationYear "2012" @default.
- W1998361452 type Work @default.
- W1998361452 sameAs 1998361452 @default.
- W1998361452 citedByCount "11" @default.
- W1998361452 countsByYear W19983614522013 @default.
- W1998361452 countsByYear W19983614522016 @default.
- W1998361452 countsByYear W19983614522018 @default.
- W1998361452 countsByYear W19983614522019 @default.
- W1998361452 countsByYear W19983614522021 @default.
- W1998361452 countsByYear W19983614522022 @default.
- W1998361452 crossrefType "journal-article" @default.
- W1998361452 hasAuthorship W1998361452A5032415790 @default.
- W1998361452 hasAuthorship W1998361452A5064490024 @default.
- W1998361452 hasConcept C111919701 @default.
- W1998361452 hasConcept C112505250 @default.
- W1998361452 hasConcept C112876837 @default.
- W1998361452 hasConcept C11413529 @default.
- W1998361452 hasConcept C114614502 @default.
- W1998361452 hasConcept C116248031 @default.
- W1998361452 hasConcept C118615104 @default.
- W1998361452 hasConcept C132525143 @default.
- W1998361452 hasConcept C138885662 @default.
- W1998361452 hasConcept C148730421 @default.
- W1998361452 hasConcept C158008952 @default.
- W1998361452 hasConcept C158338273 @default.
- W1998361452 hasConcept C162324750 @default.
- W1998361452 hasConcept C167822520 @default.
- W1998361452 hasConcept C194525867 @default.
- W1998361452 hasConcept C2777319359 @default.
- W1998361452 hasConcept C31170391 @default.
- W1998361452 hasConcept C33923547 @default.
- W1998361452 hasConcept C34447519 @default.
- W1998361452 hasConcept C41008148 @default.
- W1998361452 hasConcept C41895202 @default.
- W1998361452 hasConcept C52370388 @default.
- W1998361452 hasConcept C80444323 @default.
- W1998361452 hasConceptScore W1998361452C111919701 @default.
- W1998361452 hasConceptScore W1998361452C112505250 @default.
- W1998361452 hasConceptScore W1998361452C112876837 @default.
- W1998361452 hasConceptScore W1998361452C11413529 @default.
- W1998361452 hasConceptScore W1998361452C114614502 @default.
- W1998361452 hasConceptScore W1998361452C116248031 @default.
- W1998361452 hasConceptScore W1998361452C118615104 @default.
- W1998361452 hasConceptScore W1998361452C132525143 @default.
- W1998361452 hasConceptScore W1998361452C138885662 @default.
- W1998361452 hasConceptScore W1998361452C148730421 @default.
- W1998361452 hasConceptScore W1998361452C158008952 @default.
- W1998361452 hasConceptScore W1998361452C158338273 @default.
- W1998361452 hasConceptScore W1998361452C162324750 @default.
- W1998361452 hasConceptScore W1998361452C167822520 @default.
- W1998361452 hasConceptScore W1998361452C194525867 @default.
- W1998361452 hasConceptScore W1998361452C2777319359 @default.
- W1998361452 hasConceptScore W1998361452C31170391 @default.
- W1998361452 hasConceptScore W1998361452C33923547 @default.
- W1998361452 hasConceptScore W1998361452C34447519 @default.
- W1998361452 hasConceptScore W1998361452C41008148 @default.
- W1998361452 hasConceptScore W1998361452C41895202 @default.
- W1998361452 hasConceptScore W1998361452C52370388 @default.
- W1998361452 hasConceptScore W1998361452C80444323 @default.
- W1998361452 hasIssue "08" @default.
- W1998361452 hasLocation W19983614521 @default.
- W1998361452 hasOpenAccess W1998361452 @default.
- W1998361452 hasPrimaryLocation W19983614521 @default.
- W1998361452 hasRelatedWork W1968608348 @default.
- W1998361452 hasRelatedWork W1976293483 @default.
- W1998361452 hasRelatedWork W1998361452 @default.
- W1998361452 hasRelatedWork W202244539 @default.
- W1998361452 hasRelatedWork W2088806988 @default.
- W1998361452 hasRelatedWork W2115770844 @default.
- W1998361452 hasRelatedWork W2761014313 @default.
- W1998361452 hasRelatedWork W2770127456 @default.
- W1998361452 hasRelatedWork W2963200349 @default.
- W1998361452 hasRelatedWork W4301966287 @default.
- W1998361452 hasVolume "23" @default.
- W1998361452 isParatext "false" @default.
- W1998361452 isRetracted "false" @default.
- W1998361452 magId "1998361452" @default.
- W1998361452 workType "article" @default.