Matches in SemOpenAlex for { <https://semopenalex.org/work/W2897314150> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2897314150 abstract "In this paper, we look at an unambiguous version of Simon's forest factorization theorem, a very deep result which has wide connections in algebra, logic and automata. Given a morphism $varphi$ from $Sigma^+$ to a finite semigroup $S$, we construct a universal, unambiguous automaton A which is for $varphi$. The goodness of $Aa$ gives a very easy proof for the forest factorization theorem, providing a Ramsey split for any word in $Sigma^{infty}$ such that the height of the Ramsey split is bounded by the number of states of A. An important application of synthesizing good automata from the morphim $varphi$ is in the construction of regular transducer expressions (RTE) corresponding to deterministic two way transducers." @default.
- W2897314150 created "2018-10-26" @default.
- W2897314150 creator A5063589100 @default.
- W2897314150 creator A5064833291 @default.
- W2897314150 date "2018-10-03" @default.
- W2897314150 modified "2023-09-27" @default.
- W2897314150 title "Unambiguous Forest Factorization." @default.
- W2897314150 cites W1487309160 @default.
- W2897314150 cites W1543603062 @default.
- W2897314150 cites W1606781638 @default.
- W2897314150 cites W1991376038 @default.
- W2897314150 cites W2106878575 @default.
- W2897314150 hasPublicationYear "2018" @default.
- W2897314150 type Work @default.
- W2897314150 sameAs 2897314150 @default.
- W2897314150 citedByCount "0" @default.
- W2897314150 crossrefType "posted-content" @default.
- W2897314150 hasAuthorship W2897314150A5063589100 @default.
- W2897314150 hasAuthorship W2897314150A5064833291 @default.
- W2897314150 hasConcept C112505250 @default.
- W2897314150 hasConcept C11413529 @default.
- W2897314150 hasConcept C118615104 @default.
- W2897314150 hasConcept C134306372 @default.
- W2897314150 hasConcept C136119220 @default.
- W2897314150 hasConcept C137212723 @default.
- W2897314150 hasConcept C187834632 @default.
- W2897314150 hasConcept C202444582 @default.
- W2897314150 hasConcept C207405024 @default.
- W2897314150 hasConcept C33923547 @default.
- W2897314150 hasConcept C34388435 @default.
- W2897314150 hasConcept C41008148 @default.
- W2897314150 hasConcept C74497983 @default.
- W2897314150 hasConcept C80444323 @default.
- W2897314150 hasConceptScore W2897314150C112505250 @default.
- W2897314150 hasConceptScore W2897314150C11413529 @default.
- W2897314150 hasConceptScore W2897314150C118615104 @default.
- W2897314150 hasConceptScore W2897314150C134306372 @default.
- W2897314150 hasConceptScore W2897314150C136119220 @default.
- W2897314150 hasConceptScore W2897314150C137212723 @default.
- W2897314150 hasConceptScore W2897314150C187834632 @default.
- W2897314150 hasConceptScore W2897314150C202444582 @default.
- W2897314150 hasConceptScore W2897314150C207405024 @default.
- W2897314150 hasConceptScore W2897314150C33923547 @default.
- W2897314150 hasConceptScore W2897314150C34388435 @default.
- W2897314150 hasConceptScore W2897314150C41008148 @default.
- W2897314150 hasConceptScore W2897314150C74497983 @default.
- W2897314150 hasConceptScore W2897314150C80444323 @default.
- W2897314150 hasLocation W28973141501 @default.
- W2897314150 hasOpenAccess W2897314150 @default.
- W2897314150 hasPrimaryLocation W28973141501 @default.
- W2897314150 hasRelatedWork W1487309160 @default.
- W2897314150 hasRelatedWork W1489846568 @default.
- W2897314150 hasRelatedWork W1566080944 @default.
- W2897314150 hasRelatedWork W1803783765 @default.
- W2897314150 hasRelatedWork W2002729262 @default.
- W2897314150 hasRelatedWork W2076678106 @default.
- W2897314150 hasRelatedWork W2085634138 @default.
- W2897314150 hasRelatedWork W2090874414 @default.
- W2897314150 hasRelatedWork W2109496763 @default.
- W2897314150 hasRelatedWork W2183198433 @default.
- W2897314150 hasRelatedWork W2243954424 @default.
- W2897314150 hasRelatedWork W2487780035 @default.
- W2897314150 hasRelatedWork W2531234554 @default.
- W2897314150 hasRelatedWork W2726560500 @default.
- W2897314150 hasRelatedWork W2762225945 @default.
- W2897314150 hasRelatedWork W2885764983 @default.
- W2897314150 hasRelatedWork W2902951379 @default.
- W2897314150 hasRelatedWork W2962706254 @default.
- W2897314150 hasRelatedWork W2963192233 @default.
- W2897314150 hasRelatedWork W312307718 @default.
- W2897314150 isParatext "false" @default.
- W2897314150 isRetracted "false" @default.
- W2897314150 magId "2897314150" @default.
- W2897314150 workType "article" @default.