Matches in SemOpenAlex for { <https://semopenalex.org/work/W4361193670> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W4361193670 abstract "Compact representations of automata are important for efficiency. In this paper, we study methods to compute reduced automata, in which no two states accept the same language. We do this for finitary automata (FA), an abstract definition that encompasses probabilistic and weighted automata. Our procedure makes use of Milius' locally finite fixpoint. We present a reduction algorithm that instantiates to probabilistic and S-linear weighted automata (WA) for a large class of semirings. Moreover, we propose a potential connection between properness of a semiring and our provided reduction algorithm for WAs, paving the way for future work in connecting the reduction of automata to the properness of their associated coalgebras." @default.
- W4361193670 created "2023-03-31" @default.
- W4361193670 creator A5029314584 @default.
- W4361193670 creator A5055721622 @default.
- W4361193670 date "2023-03-27" @default.
- W4361193670 modified "2023-10-16" @default.
- W4361193670 title "A Coalgebraic Approach to Reducing Finitary Automata" @default.
- W4361193670 doi "https://doi.org/10.48550/arxiv.2303.14916" @default.
- W4361193670 hasPublicationYear "2023" @default.
- W4361193670 type Work @default.
- W4361193670 citedByCount "0" @default.
- W4361193670 crossrefType "posted-content" @default.
- W4361193670 hasAuthorship W4361193670A5029314584 @default.
- W4361193670 hasAuthorship W4361193670A5055721622 @default.
- W4361193670 hasBestOaLocation W43611936701 @default.
- W4361193670 hasConcept C111335779 @default.
- W4361193670 hasConcept C112505250 @default.
- W4361193670 hasConcept C11413529 @default.
- W4361193670 hasConcept C116248031 @default.
- W4361193670 hasConcept C118615104 @default.
- W4361193670 hasConcept C154945302 @default.
- W4361193670 hasConcept C174327141 @default.
- W4361193670 hasConcept C21696900 @default.
- W4361193670 hasConcept C2524010 @default.
- W4361193670 hasConcept C2777212361 @default.
- W4361193670 hasConcept C2778003309 @default.
- W4361193670 hasConcept C33923547 @default.
- W4361193670 hasConcept C41008148 @default.
- W4361193670 hasConcept C49937458 @default.
- W4361193670 hasConcept C80444323 @default.
- W4361193670 hasConceptScore W4361193670C111335779 @default.
- W4361193670 hasConceptScore W4361193670C112505250 @default.
- W4361193670 hasConceptScore W4361193670C11413529 @default.
- W4361193670 hasConceptScore W4361193670C116248031 @default.
- W4361193670 hasConceptScore W4361193670C118615104 @default.
- W4361193670 hasConceptScore W4361193670C154945302 @default.
- W4361193670 hasConceptScore W4361193670C174327141 @default.
- W4361193670 hasConceptScore W4361193670C21696900 @default.
- W4361193670 hasConceptScore W4361193670C2524010 @default.
- W4361193670 hasConceptScore W4361193670C2777212361 @default.
- W4361193670 hasConceptScore W4361193670C2778003309 @default.
- W4361193670 hasConceptScore W4361193670C33923547 @default.
- W4361193670 hasConceptScore W4361193670C41008148 @default.
- W4361193670 hasConceptScore W4361193670C49937458 @default.
- W4361193670 hasConceptScore W4361193670C80444323 @default.
- W4361193670 hasLocation W43611936701 @default.
- W4361193670 hasOpenAccess W4361193670 @default.
- W4361193670 hasPrimaryLocation W43611936701 @default.
- W4361193670 hasRelatedWork W1552185717 @default.
- W4361193670 hasRelatedWork W1780789845 @default.
- W4361193670 hasRelatedWork W1979390054 @default.
- W4361193670 hasRelatedWork W2044753318 @default.
- W4361193670 hasRelatedWork W2085888737 @default.
- W4361193670 hasRelatedWork W2106363020 @default.
- W4361193670 hasRelatedWork W2159449605 @default.
- W4361193670 hasRelatedWork W2889350251 @default.
- W4361193670 hasRelatedWork W2951456305 @default.
- W4361193670 hasRelatedWork W4361193670 @default.
- W4361193670 isParatext "false" @default.
- W4361193670 isRetracted "false" @default.
- W4361193670 workType "article" @default.