Matches in SemOpenAlex for { <https://semopenalex.org/work/W2761014313> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2761014313 endingPage "111" @default.
- W2761014313 startingPage "103" @default.
- W2761014313 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 some directions for theoretical development and application." @default.
- W2761014313 created "2017-10-20" @default.
- W2761014313 creator A5032415790 @default.
- W2761014313 creator A5064490024 @default.
- W2761014313 date "2011-08-17" @default.
- W2761014313 modified "2023-10-02" @default.
- W2761014313 title "From Regular to Strictly Locally Testable Languages" @default.
- W2761014313 cites W1870847788 @default.
- W2761014313 cites W1964088589 @default.
- W2761014313 cites W1966016761 @default.
- W2761014313 cites W2007251230 @default.
- W2761014313 cites W2031469331 @default.
- W2761014313 cites W2058302256 @default.
- W2761014313 cites W2090901599 @default.
- W2761014313 cites W2121164581 @default.
- W2761014313 doi "https://doi.org/10.4204/eptcs.63.14" @default.
- W2761014313 hasPublicationYear "2011" @default.
- W2761014313 type Work @default.
- W2761014313 sameAs 2761014313 @default.
- W2761014313 citedByCount "3" @default.
- W2761014313 countsByYear W27610143132012 @default.
- W2761014313 countsByYear W27610143132022 @default.
- W2761014313 countsByYear W27610143132023 @default.
- W2761014313 crossrefType "journal-article" @default.
- W2761014313 hasAuthorship W2761014313A5032415790 @default.
- W2761014313 hasAuthorship W2761014313A5064490024 @default.
- W2761014313 hasBestOaLocation W27610143131 @default.
- W2761014313 hasConcept C111919701 @default.
- W2761014313 hasConcept C112505250 @default.
- W2761014313 hasConcept C112876837 @default.
- W2761014313 hasConcept C11413529 @default.
- W2761014313 hasConcept C114614502 @default.
- W2761014313 hasConcept C118615104 @default.
- W2761014313 hasConcept C132525143 @default.
- W2761014313 hasConcept C138885662 @default.
- W2761014313 hasConcept C148730421 @default.
- W2761014313 hasConcept C158338273 @default.
- W2761014313 hasConcept C162324750 @default.
- W2761014313 hasConcept C167822520 @default.
- W2761014313 hasConcept C194525867 @default.
- W2761014313 hasConcept C2777319359 @default.
- W2761014313 hasConcept C31170391 @default.
- W2761014313 hasConcept C33923547 @default.
- W2761014313 hasConcept C34447519 @default.
- W2761014313 hasConcept C41008148 @default.
- W2761014313 hasConcept C41895202 @default.
- W2761014313 hasConcept C52370388 @default.
- W2761014313 hasConcept C80444323 @default.
- W2761014313 hasConceptScore W2761014313C111919701 @default.
- W2761014313 hasConceptScore W2761014313C112505250 @default.
- W2761014313 hasConceptScore W2761014313C112876837 @default.
- W2761014313 hasConceptScore W2761014313C11413529 @default.
- W2761014313 hasConceptScore W2761014313C114614502 @default.
- W2761014313 hasConceptScore W2761014313C118615104 @default.
- W2761014313 hasConceptScore W2761014313C132525143 @default.
- W2761014313 hasConceptScore W2761014313C138885662 @default.
- W2761014313 hasConceptScore W2761014313C148730421 @default.
- W2761014313 hasConceptScore W2761014313C158338273 @default.
- W2761014313 hasConceptScore W2761014313C162324750 @default.
- W2761014313 hasConceptScore W2761014313C167822520 @default.
- W2761014313 hasConceptScore W2761014313C194525867 @default.
- W2761014313 hasConceptScore W2761014313C2777319359 @default.
- W2761014313 hasConceptScore W2761014313C31170391 @default.
- W2761014313 hasConceptScore W2761014313C33923547 @default.
- W2761014313 hasConceptScore W2761014313C34447519 @default.
- W2761014313 hasConceptScore W2761014313C41008148 @default.
- W2761014313 hasConceptScore W2761014313C41895202 @default.
- W2761014313 hasConceptScore W2761014313C52370388 @default.
- W2761014313 hasConceptScore W2761014313C80444323 @default.
- W2761014313 hasLocation W27610143131 @default.
- W2761014313 hasLocation W27610143132 @default.
- W2761014313 hasLocation W27610143133 @default.
- W2761014313 hasLocation W27610143134 @default.
- W2761014313 hasOpenAccess W2761014313 @default.
- W2761014313 hasPrimaryLocation W27610143131 @default.
- W2761014313 hasRelatedWork W133066696 @default.
- W2761014313 hasRelatedWork W1712879069 @default.
- W2761014313 hasRelatedWork W1976293483 @default.
- W2761014313 hasRelatedWork W1998361452 @default.
- W2761014313 hasRelatedWork W2291541882 @default.
- W2761014313 hasRelatedWork W2761014313 @default.
- W2761014313 hasRelatedWork W2897947364 @default.
- W2761014313 hasRelatedWork W2950739796 @default.
- W2761014313 hasRelatedWork W2954133491 @default.
- W2761014313 hasRelatedWork W94998075 @default.
- W2761014313 hasVolume "63" @default.
- W2761014313 isParatext "false" @default.
- W2761014313 isRetracted "false" @default.
- W2761014313 magId "2761014313" @default.
- W2761014313 workType "article" @default.