Matches in SemOpenAlex for { <https://semopenalex.org/work/W2948304865> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2948304865 abstract "Given a monoid $(M,varepsilon,cdot )$ it is shown that a subset $Asubseteq M$ is recognizable in the sense of automata theory if and only if the $varphi $-rank of $x=x$ is zero in the first-order theory $operatorname{Th}(M,varepsilon ,cdot ,A)$, where $varphi (x;u)$ is the formula $xuin A$. In the case where $M$ is a finitely generated free monoid on a finite alphabet $Sigma $, this gives a model-theoretic characterization of the regular languages over $Sigma $. If $A$ is a regular language over $Sigma $ then the $varphi $-multiplicity of $x=x$ is the state complexity of $A$. Similar results holds for $varphi' (x;u,v)$ given by $uxvin A$, with the $varphi' $-multiplicity now equal to the size of the syntactic monoid of $A$." @default.
- W2948304865 created "2019-06-14" @default.
- W2948304865 creator A5074983759 @default.
- W2948304865 date "2018-03-20" @default.
- W2948304865 modified "2023-09-27" @default.
- W2948304865 title "Remarks on recognizable subsets and local rank" @default.
- W2948304865 cites W1458282908 @default.
- W2948304865 cites W1485181793 @default.
- W2948304865 cites W2035476945 @default.
- W2948304865 cites W2041189577 @default.
- W2948304865 cites W2167954650 @default.
- W2948304865 cites W2913383557 @default.
- W2948304865 cites W58761133 @default.
- W2948304865 hasPublicationYear "2018" @default.
- W2948304865 type Work @default.
- W2948304865 sameAs 2948304865 @default.
- W2948304865 citedByCount "0" @default.
- W2948304865 crossrefType "posted-content" @default.
- W2948304865 hasAuthorship W2948304865A5074983759 @default.
- W2948304865 hasConcept C10138342 @default.
- W2948304865 hasConcept C112876837 @default.
- W2948304865 hasConcept C114614502 @default.
- W2948304865 hasConcept C118615104 @default.
- W2948304865 hasConcept C120665830 @default.
- W2948304865 hasConcept C121332964 @default.
- W2948304865 hasConcept C138885662 @default.
- W2948304865 hasConcept C149685015 @default.
- W2948304865 hasConcept C156004811 @default.
- W2948304865 hasConcept C162324750 @default.
- W2948304865 hasConcept C162860070 @default.
- W2948304865 hasConcept C164226766 @default.
- W2948304865 hasConcept C182306322 @default.
- W2948304865 hasConcept C206901836 @default.
- W2948304865 hasConcept C2524010 @default.
- W2948304865 hasConcept C2778049214 @default.
- W2948304865 hasConcept C2780841128 @default.
- W2948304865 hasConcept C33923547 @default.
- W2948304865 hasConcept C41895202 @default.
- W2948304865 hasConcept C62520636 @default.
- W2948304865 hasConceptScore W2948304865C10138342 @default.
- W2948304865 hasConceptScore W2948304865C112876837 @default.
- W2948304865 hasConceptScore W2948304865C114614502 @default.
- W2948304865 hasConceptScore W2948304865C118615104 @default.
- W2948304865 hasConceptScore W2948304865C120665830 @default.
- W2948304865 hasConceptScore W2948304865C121332964 @default.
- W2948304865 hasConceptScore W2948304865C138885662 @default.
- W2948304865 hasConceptScore W2948304865C149685015 @default.
- W2948304865 hasConceptScore W2948304865C156004811 @default.
- W2948304865 hasConceptScore W2948304865C162324750 @default.
- W2948304865 hasConceptScore W2948304865C162860070 @default.
- W2948304865 hasConceptScore W2948304865C164226766 @default.
- W2948304865 hasConceptScore W2948304865C182306322 @default.
- W2948304865 hasConceptScore W2948304865C206901836 @default.
- W2948304865 hasConceptScore W2948304865C2524010 @default.
- W2948304865 hasConceptScore W2948304865C2778049214 @default.
- W2948304865 hasConceptScore W2948304865C2780841128 @default.
- W2948304865 hasConceptScore W2948304865C33923547 @default.
- W2948304865 hasConceptScore W2948304865C41895202 @default.
- W2948304865 hasConceptScore W2948304865C62520636 @default.
- W2948304865 hasLocation W29483048651 @default.
- W2948304865 hasOpenAccess W2948304865 @default.
- W2948304865 hasPrimaryLocation W29483048651 @default.
- W2948304865 hasRelatedWork W1538195225 @default.
- W2948304865 hasRelatedWork W1572245262 @default.
- W2948304865 hasRelatedWork W1940048883 @default.
- W2948304865 hasRelatedWork W1975466840 @default.
- W2948304865 hasRelatedWork W2001752461 @default.
- W2948304865 hasRelatedWork W2018553662 @default.
- W2948304865 hasRelatedWork W2020563202 @default.
- W2948304865 hasRelatedWork W2021100785 @default.
- W2948304865 hasRelatedWork W2033287774 @default.
- W2948304865 hasRelatedWork W2033664708 @default.
- W2948304865 hasRelatedWork W2039639438 @default.
- W2948304865 hasRelatedWork W2167651941 @default.
- W2948304865 hasRelatedWork W2347015625 @default.
- W2948304865 hasRelatedWork W27019768 @default.
- W2948304865 hasRelatedWork W2806141747 @default.
- W2948304865 hasRelatedWork W2810642420 @default.
- W2948304865 hasRelatedWork W2883406053 @default.
- W2948304865 hasRelatedWork W2970350837 @default.
- W2948304865 hasRelatedWork W3127408556 @default.
- W2948304865 hasRelatedWork W3209732136 @default.
- W2948304865 isParatext "false" @default.
- W2948304865 isRetracted "false" @default.
- W2948304865 magId "2948304865" @default.
- W2948304865 workType "article" @default.