Matches in SemOpenAlex for { <https://semopenalex.org/work/W2408342241> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2408342241 endingPage "284" @default.
- W2408342241 startingPage "274" @default.
- W2408342241 abstract "Iwama et al. showed that there exists an n-state binary nondeterministic finite automaton such that its equivalent minimal deterministic finite automaton has exactly 2n - α states, for all n ≥ 7 and 5 ≤ α ≤ 2n-2, subject to certain coprimality conditions. We investigate the same question for both unary and binary symmetric difference nondeterministic finite automata. In the binary case, we show that for any n ≥ 4, there is an n-state symmetric difference nondeterministic finite automaton for which the equivalent minimal deterministic finite automaton has 2n - 1 + 2k - 1 - 1 states, for 2 < k ≤ n - 1. In the unary case, we consider a large practical subclass of unary symmetric difference nondeterministic finite automata: for all n ≥ 2, we argue that there are many values of α such that there is no n-state unary symmetric difference nondeterministic finite automaton with an equivalent minimal deterministic finite automaton with 2n - α states, where 0 < α < 2n - 1. For each n ≥ 2, we quantify such values of α precisely." @default.
- W2408342241 created "2016-06-24" @default.
- W2408342241 creator A5076118539 @default.
- W2408342241 date "2004-01-01" @default.
- W2408342241 modified "2023-09-26" @default.
- W2408342241 title "Magic Numbers for Symmetric Difference NFAs." @default.
- W2408342241 hasPublicationYear "2004" @default.
- W2408342241 type Work @default.
- W2408342241 sameAs 2408342241 @default.
- W2408342241 citedByCount "0" @default.
- W2408342241 crossrefType "journal-article" @default.
- W2408342241 hasAuthorship W2408342241A5076118539 @default.
- W2408342241 hasConcept C104091681 @default.
- W2408342241 hasConcept C112505250 @default.
- W2408342241 hasConcept C11413529 @default.
- W2408342241 hasConcept C114614502 @default.
- W2408342241 hasConcept C116248031 @default.
- W2408342241 hasConcept C118615104 @default.
- W2408342241 hasConcept C139423837 @default.
- W2408342241 hasConcept C158008952 @default.
- W2408342241 hasConcept C165753454 @default.
- W2408342241 hasConcept C167822520 @default.
- W2408342241 hasConcept C174327141 @default.
- W2408342241 hasConcept C176181172 @default.
- W2408342241 hasConcept C194525867 @default.
- W2408342241 hasConcept C33923547 @default.
- W2408342241 hasConcept C41008148 @default.
- W2408342241 hasConcept C78023250 @default.
- W2408342241 hasConcept C80444323 @default.
- W2408342241 hasConceptScore W2408342241C104091681 @default.
- W2408342241 hasConceptScore W2408342241C112505250 @default.
- W2408342241 hasConceptScore W2408342241C11413529 @default.
- W2408342241 hasConceptScore W2408342241C114614502 @default.
- W2408342241 hasConceptScore W2408342241C116248031 @default.
- W2408342241 hasConceptScore W2408342241C118615104 @default.
- W2408342241 hasConceptScore W2408342241C139423837 @default.
- W2408342241 hasConceptScore W2408342241C158008952 @default.
- W2408342241 hasConceptScore W2408342241C165753454 @default.
- W2408342241 hasConceptScore W2408342241C167822520 @default.
- W2408342241 hasConceptScore W2408342241C174327141 @default.
- W2408342241 hasConceptScore W2408342241C176181172 @default.
- W2408342241 hasConceptScore W2408342241C194525867 @default.
- W2408342241 hasConceptScore W2408342241C33923547 @default.
- W2408342241 hasConceptScore W2408342241C41008148 @default.
- W2408342241 hasConceptScore W2408342241C78023250 @default.
- W2408342241 hasConceptScore W2408342241C80444323 @default.
- W2408342241 hasLocation W24083422411 @default.
- W2408342241 hasOpenAccess W2408342241 @default.
- W2408342241 hasPrimaryLocation W24083422411 @default.
- W2408342241 hasRelatedWork W1069688093 @default.
- W2408342241 hasRelatedWork W1531148340 @default.
- W2408342241 hasRelatedWork W153129168 @default.
- W2408342241 hasRelatedWork W1595672793 @default.
- W2408342241 hasRelatedWork W1884045513 @default.
- W2408342241 hasRelatedWork W198383578 @default.
- W2408342241 hasRelatedWork W1986204772 @default.
- W2408342241 hasRelatedWork W2028786042 @default.
- W2408342241 hasRelatedWork W2036210786 @default.
- W2408342241 hasRelatedWork W2039984653 @default.
- W2408342241 hasRelatedWork W2054230520 @default.
- W2408342241 hasRelatedWork W2095269027 @default.
- W2408342241 hasRelatedWork W2115770844 @default.
- W2408342241 hasRelatedWork W2145466237 @default.
- W2408342241 hasRelatedWork W2154384611 @default.
- W2408342241 hasRelatedWork W2159747538 @default.
- W2408342241 hasRelatedWork W2398944522 @default.
- W2408342241 hasRelatedWork W2747875137 @default.
- W2408342241 hasRelatedWork W2756180352 @default.
- W2408342241 hasRelatedWork W647462584 @default.
- W2408342241 isParatext "false" @default.
- W2408342241 isRetracted "false" @default.
- W2408342241 magId "2408342241" @default.
- W2408342241 workType "article" @default.