Matches in SemOpenAlex for { <https://semopenalex.org/work/W88276592> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W88276592 abstract "In this paper, Nondeterministic Buchi Automata (NBA) are equivalently transformed as a new kind of deterministic omega automata, Deterministic Partitioned Automata (DPA). Different from the existing automata, at most three different transitions may occur between two states of a DPA. This leads to a determinization construction of NBA with smaller state complexity but larger transition complexity. Compared with the existing determinization constructions of NBA, the new one is intuitive and easily implementable since it is completely based on subset construction. In addition, we have proved that both nondeterministic and deterministic partitioned automata share the same expressive power with NBA." @default.
- W88276592 created "2016-06-24" @default.
- W88276592 creator A5003990194 @default.
- W88276592 creator A5059750606 @default.
- W88276592 creator A5071051896 @default.
- W88276592 date "2013-01-01" @default.
- W88276592 modified "2023-09-24" @default.
- W88276592 title "Deternimization of Büchi Automata as Partitioned Automata" @default.
- W88276592 cites W1506225460 @default.
- W88276592 cites W1507176903 @default.
- W88276592 cites W1512592750 @default.
- W88276592 cites W1528149868 @default.
- W88276592 cites W1548816955 @default.
- W88276592 cites W1816620374 @default.
- W88276592 cites W1976772375 @default.
- W88276592 cites W1976773489 @default.
- W88276592 cites W1983662674 @default.
- W88276592 cites W2009929770 @default.
- W88276592 cites W2031592188 @default.
- W88276592 cites W2076284895 @default.
- W88276592 cites W2094912129 @default.
- W88276592 cites W2115309705 @default.
- W88276592 cites W2140847885 @default.
- W88276592 cites W2952908521 @default.
- W88276592 cites W4246764629 @default.
- W88276592 doi "https://doi.org/10.1007/978-3-642-38768-5_16" @default.
- W88276592 hasPublicationYear "2013" @default.
- W88276592 type Work @default.
- W88276592 sameAs 88276592 @default.
- W88276592 citedByCount "0" @default.
- W88276592 crossrefType "book-chapter" @default.
- W88276592 hasAuthorship W88276592A5003990194 @default.
- W88276592 hasAuthorship W88276592A5059750606 @default.
- W88276592 hasAuthorship W88276592A5071051896 @default.
- W88276592 hasConcept C112505250 @default.
- W88276592 hasConcept C11413529 @default.
- W88276592 hasConcept C116248031 @default.
- W88276592 hasConcept C118615104 @default.
- W88276592 hasConcept C158008952 @default.
- W88276592 hasConcept C165753454 @default.
- W88276592 hasConcept C167822520 @default.
- W88276592 hasConcept C174327141 @default.
- W88276592 hasConcept C176181172 @default.
- W88276592 hasConcept C194525867 @default.
- W88276592 hasConcept C195818886 @default.
- W88276592 hasConcept C33923547 @default.
- W88276592 hasConcept C41008148 @default.
- W88276592 hasConcept C50348692 @default.
- W88276592 hasConcept C80444323 @default.
- W88276592 hasConcept C92117001 @default.
- W88276592 hasConcept C92710233 @default.
- W88276592 hasConceptScore W88276592C112505250 @default.
- W88276592 hasConceptScore W88276592C11413529 @default.
- W88276592 hasConceptScore W88276592C116248031 @default.
- W88276592 hasConceptScore W88276592C118615104 @default.
- W88276592 hasConceptScore W88276592C158008952 @default.
- W88276592 hasConceptScore W88276592C165753454 @default.
- W88276592 hasConceptScore W88276592C167822520 @default.
- W88276592 hasConceptScore W88276592C174327141 @default.
- W88276592 hasConceptScore W88276592C176181172 @default.
- W88276592 hasConceptScore W88276592C194525867 @default.
- W88276592 hasConceptScore W88276592C195818886 @default.
- W88276592 hasConceptScore W88276592C33923547 @default.
- W88276592 hasConceptScore W88276592C41008148 @default.
- W88276592 hasConceptScore W88276592C50348692 @default.
- W88276592 hasConceptScore W88276592C80444323 @default.
- W88276592 hasConceptScore W88276592C92117001 @default.
- W88276592 hasConceptScore W88276592C92710233 @default.
- W88276592 hasLocation W882765921 @default.
- W88276592 hasOpenAccess W88276592 @default.
- W88276592 hasPrimaryLocation W882765921 @default.
- W88276592 hasRelatedWork W1516477227 @default.
- W88276592 hasRelatedWork W1964626357 @default.
- W88276592 hasRelatedWork W2031592188 @default.
- W88276592 hasRelatedWork W2055139895 @default.
- W88276592 hasRelatedWork W2073874233 @default.
- W88276592 hasRelatedWork W2095323179 @default.
- W88276592 hasRelatedWork W2119746039 @default.
- W88276592 hasRelatedWork W2149288970 @default.
- W88276592 hasRelatedWork W2165726630 @default.
- W88276592 hasRelatedWork W2501722818 @default.
- W88276592 hasRelatedWork W2952908521 @default.
- W88276592 hasRelatedWork W2963193488 @default.
- W88276592 hasRelatedWork W2966079298 @default.
- W88276592 hasRelatedWork W3042859643 @default.
- W88276592 hasRelatedWork W3048521874 @default.
- W88276592 hasRelatedWork W3101338104 @default.
- W88276592 hasRelatedWork W3168987741 @default.
- W88276592 hasRelatedWork W3197925555 @default.
- W88276592 hasRelatedWork W89930413 @default.
- W88276592 hasRelatedWork W1819460583 @default.
- W88276592 isParatext "false" @default.
- W88276592 isRetracted "false" @default.
- W88276592 magId "88276592" @default.
- W88276592 workType "book-chapter" @default.