Matches in SemOpenAlex for { <https://semopenalex.org/work/W4315589077> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W4315589077 abstract "A process algebra is proposed, whose semantics maps a term to a nondeterministic finite automaton (NFA, for short). We prove a representability theorem: for each NFA $N$, there exists a process algebraic term $p$ such that its semantics is an NFA isomorphic to $N$. Moreover, we provide a concise axiomatization of language equivalence: two NFAs $N_1$ and $N_2$ recognize the same language if and only if the associated terms $p_1$ and $p_2$, respectively, can be equated by means of a set of axioms, comprising 7 axioms plus 3 conditional axioms, only." @default.
- W4315589077 created "2023-01-11" @default.
- W4315589077 creator A5000720054 @default.
- W4315589077 date "2023-01-09" @default.
- W4315589077 modified "2023-09-25" @default.
- W4315589077 title "The Algebra of Nondeterministic Finite Automata" @default.
- W4315589077 doi "https://doi.org/10.48550/arxiv.2301.03435" @default.
- W4315589077 hasPublicationYear "2023" @default.
- W4315589077 type Work @default.
- W4315589077 citedByCount "0" @default.
- W4315589077 crossrefType "posted-content" @default.
- W4315589077 hasAuthorship W4315589077A5000720054 @default.
- W4315589077 hasBestOaLocation W43155890771 @default.
- W4315589077 hasConcept C118615104 @default.
- W4315589077 hasConcept C121332964 @default.
- W4315589077 hasConcept C134306372 @default.
- W4315589077 hasConcept C136119220 @default.
- W4315589077 hasConcept C161771561 @default.
- W4315589077 hasConcept C167729594 @default.
- W4315589077 hasConcept C176181172 @default.
- W4315589077 hasConcept C177264268 @default.
- W4315589077 hasConcept C199360897 @default.
- W4315589077 hasConcept C202444582 @default.
- W4315589077 hasConcept C206470798 @default.
- W4315589077 hasConcept C2524010 @default.
- W4315589077 hasConcept C2779729104 @default.
- W4315589077 hasConcept C2780069185 @default.
- W4315589077 hasConcept C33923547 @default.
- W4315589077 hasConcept C41008148 @default.
- W4315589077 hasConcept C61797465 @default.
- W4315589077 hasConcept C62520636 @default.
- W4315589077 hasConcept C9376300 @default.
- W4315589077 hasConceptScore W4315589077C118615104 @default.
- W4315589077 hasConceptScore W4315589077C121332964 @default.
- W4315589077 hasConceptScore W4315589077C134306372 @default.
- W4315589077 hasConceptScore W4315589077C136119220 @default.
- W4315589077 hasConceptScore W4315589077C161771561 @default.
- W4315589077 hasConceptScore W4315589077C167729594 @default.
- W4315589077 hasConceptScore W4315589077C176181172 @default.
- W4315589077 hasConceptScore W4315589077C177264268 @default.
- W4315589077 hasConceptScore W4315589077C199360897 @default.
- W4315589077 hasConceptScore W4315589077C202444582 @default.
- W4315589077 hasConceptScore W4315589077C206470798 @default.
- W4315589077 hasConceptScore W4315589077C2524010 @default.
- W4315589077 hasConceptScore W4315589077C2779729104 @default.
- W4315589077 hasConceptScore W4315589077C2780069185 @default.
- W4315589077 hasConceptScore W4315589077C33923547 @default.
- W4315589077 hasConceptScore W4315589077C41008148 @default.
- W4315589077 hasConceptScore W4315589077C61797465 @default.
- W4315589077 hasConceptScore W4315589077C62520636 @default.
- W4315589077 hasConceptScore W4315589077C9376300 @default.
- W4315589077 hasLocation W43155890771 @default.
- W4315589077 hasOpenAccess W4315589077 @default.
- W4315589077 hasPrimaryLocation W43155890771 @default.
- W4315589077 hasRelatedWork W1525238445 @default.
- W4315589077 hasRelatedWork W2005828354 @default.
- W4315589077 hasRelatedWork W2016732604 @default.
- W4315589077 hasRelatedWork W2034188142 @default.
- W4315589077 hasRelatedWork W2068047345 @default.
- W4315589077 hasRelatedWork W2167502656 @default.
- W4315589077 hasRelatedWork W2246016348 @default.
- W4315589077 hasRelatedWork W3020911511 @default.
- W4315589077 hasRelatedWork W4225641109 @default.
- W4315589077 hasRelatedWork W2484760668 @default.
- W4315589077 isParatext "false" @default.
- W4315589077 isRetracted "false" @default.
- W4315589077 workType "article" @default.