Matches in SemOpenAlex for { <https://semopenalex.org/work/W2083004473> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2083004473 endingPage "690" @default.
- W2083004473 startingPage "677" @default.
- W2083004473 abstract "Bideterministic automata are deterministic automata with the property of their reversal automata also being deterministic. Bideterministic automata have previously been shown to be unique (up to an isomorphism) minimal NFAs with respect to the number of states. In this paper, we show that in addition to state minimality, bideterministic automata are also transition-minimal NFAs. However, as this transition minimality is not necessarily unique, we also present the necessary and sufficient conditions for a bideterministic automaton to be uniquely transition-minimal among NFAs. These results are obtained using the notion of the universal automaton. We also present some properties of the universal automaton. Furthermore, we show that bideterministic automata are transition-minimal ∊-NFAs." @default.
- W2083004473 created "2016-06-24" @default.
- W2083004473 creator A5079357690 @default.
- W2083004473 date "2008-06-01" @default.
- W2083004473 modified "2023-10-02" @default.
- W2083004473 title "ON TRANSITION MINIMALITY OF BIDETERMINISTIC AUTOMATA" @default.
- W2083004473 cites W1969661153 @default.
- W2083004473 cites W2018931121 @default.
- W2083004473 cites W2040834199 @default.
- W2083004473 cites W2066924896 @default.
- W2083004473 cites W2068641378 @default.
- W2083004473 cites W2090529921 @default.
- W2083004473 cites W2169734852 @default.
- W2083004473 cites W4206635485 @default.
- W2083004473 doi "https://doi.org/10.1142/s0129054108005887" @default.
- W2083004473 hasPublicationYear "2008" @default.
- W2083004473 type Work @default.
- W2083004473 sameAs 2083004473 @default.
- W2083004473 citedByCount "3" @default.
- W2083004473 countsByYear W20830044732022 @default.
- W2083004473 countsByYear W20830044732023 @default.
- W2083004473 crossrefType "journal-article" @default.
- W2083004473 hasAuthorship W2083004473A5079357690 @default.
- W2083004473 hasConcept C111472728 @default.
- W2083004473 hasConcept C112505250 @default.
- W2083004473 hasConcept C114614502 @default.
- W2083004473 hasConcept C115624301 @default.
- W2083004473 hasConcept C116248031 @default.
- W2083004473 hasConcept C118615104 @default.
- W2083004473 hasConcept C138885662 @default.
- W2083004473 hasConcept C174327141 @default.
- W2083004473 hasConcept C185592680 @default.
- W2083004473 hasConcept C189950617 @default.
- W2083004473 hasConcept C194525867 @default.
- W2083004473 hasConcept C203436722 @default.
- W2083004473 hasConcept C30788636 @default.
- W2083004473 hasConcept C33923547 @default.
- W2083004473 hasConcept C41008148 @default.
- W2083004473 hasConcept C50348692 @default.
- W2083004473 hasConcept C8010536 @default.
- W2083004473 hasConcept C80444323 @default.
- W2083004473 hasConceptScore W2083004473C111472728 @default.
- W2083004473 hasConceptScore W2083004473C112505250 @default.
- W2083004473 hasConceptScore W2083004473C114614502 @default.
- W2083004473 hasConceptScore W2083004473C115624301 @default.
- W2083004473 hasConceptScore W2083004473C116248031 @default.
- W2083004473 hasConceptScore W2083004473C118615104 @default.
- W2083004473 hasConceptScore W2083004473C138885662 @default.
- W2083004473 hasConceptScore W2083004473C174327141 @default.
- W2083004473 hasConceptScore W2083004473C185592680 @default.
- W2083004473 hasConceptScore W2083004473C189950617 @default.
- W2083004473 hasConceptScore W2083004473C194525867 @default.
- W2083004473 hasConceptScore W2083004473C203436722 @default.
- W2083004473 hasConceptScore W2083004473C30788636 @default.
- W2083004473 hasConceptScore W2083004473C33923547 @default.
- W2083004473 hasConceptScore W2083004473C41008148 @default.
- W2083004473 hasConceptScore W2083004473C50348692 @default.
- W2083004473 hasConceptScore W2083004473C8010536 @default.
- W2083004473 hasConceptScore W2083004473C80444323 @default.
- W2083004473 hasIssue "03" @default.
- W2083004473 hasLocation W20830044731 @default.
- W2083004473 hasOpenAccess W2083004473 @default.
- W2083004473 hasPrimaryLocation W20830044731 @default.
- W2083004473 hasRelatedWork W139452372 @default.
- W2083004473 hasRelatedWork W1569273857 @default.
- W2083004473 hasRelatedWork W1978638999 @default.
- W2083004473 hasRelatedWork W2090058024 @default.
- W2083004473 hasRelatedWork W2141548906 @default.
- W2083004473 hasRelatedWork W2145224012 @default.
- W2083004473 hasRelatedWork W2321667159 @default.
- W2083004473 hasRelatedWork W2898486862 @default.
- W2083004473 hasRelatedWork W9554130 @default.
- W2083004473 hasRelatedWork W2134923509 @default.
- W2083004473 hasVolume "19" @default.
- W2083004473 isParatext "false" @default.
- W2083004473 isRetracted "false" @default.
- W2083004473 magId "2083004473" @default.
- W2083004473 workType "article" @default.