Matches in SemOpenAlex for { <https://semopenalex.org/work/W2747875137> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2747875137 abstract "Previously, self-verifying symmetric difference automata were defined and a tight bound of 2^n-1-1 was shown for state complexity in the unary case. We now consider the non-unary case and show that, for every n at least 2, there is a regular language L_n accepted by a non-unary self-verifying symmetric difference nondeterministic automaton with n states, such that its equivalent minimal deterministic finite automaton has 2^n-1 states. Also, given any SV-XNFA with n states, it is possible, up to isomorphism, to find at most another |GL(n,Z_2)|-1 equivalent SV-XNFA." @default.
- W2747875137 created "2017-08-31" @default.
- W2747875137 creator A5053971567 @default.
- W2747875137 creator A5076118539 @default.
- W2747875137 date "2017-08-21" @default.
- W2747875137 modified "2023-09-23" @default.
- W2747875137 title "Descriptional Complexity of Non-Unary Self-Verifying Symmetric Difference Automata" @default.
- W2747875137 cites W1522833914 @default.
- W2747875137 cites W1560578415 @default.
- W2747875137 cites W1978638999 @default.
- W2747875137 cites W1986204772 @default.
- W2747875137 cites W2028979408 @default.
- W2747875137 cites W2133978759 @default.
- W2747875137 cites W2486953598 @default.
- W2747875137 cites W62782445 @default.
- W2747875137 doi "https://doi.org/10.4204/eptcs.252.16" @default.
- W2747875137 hasPublicationYear "2017" @default.
- W2747875137 type Work @default.
- W2747875137 sameAs 2747875137 @default.
- W2747875137 citedByCount "0" @default.
- W2747875137 crossrefType "journal-article" @default.
- W2747875137 hasAuthorship W2747875137A5053971567 @default.
- W2747875137 hasAuthorship W2747875137A5076118539 @default.
- W2747875137 hasBestOaLocation W27478751371 @default.
- W2747875137 hasConcept C104091681 @default.
- W2747875137 hasConcept C112505250 @default.
- W2747875137 hasConcept C11413529 @default.
- W2747875137 hasConcept C114614502 @default.
- W2747875137 hasConcept C115624301 @default.
- W2747875137 hasConcept C116248031 @default.
- W2747875137 hasConcept C118615104 @default.
- W2747875137 hasConcept C158008952 @default.
- W2747875137 hasConcept C167822520 @default.
- W2747875137 hasConcept C176181172 @default.
- W2747875137 hasConcept C185592680 @default.
- W2747875137 hasConcept C203436722 @default.
- W2747875137 hasConcept C33923547 @default.
- W2747875137 hasConcept C41008148 @default.
- W2747875137 hasConcept C48103436 @default.
- W2747875137 hasConcept C52370388 @default.
- W2747875137 hasConcept C78023250 @default.
- W2747875137 hasConcept C8010536 @default.
- W2747875137 hasConcept C80444323 @default.
- W2747875137 hasConceptScore W2747875137C104091681 @default.
- W2747875137 hasConceptScore W2747875137C112505250 @default.
- W2747875137 hasConceptScore W2747875137C11413529 @default.
- W2747875137 hasConceptScore W2747875137C114614502 @default.
- W2747875137 hasConceptScore W2747875137C115624301 @default.
- W2747875137 hasConceptScore W2747875137C116248031 @default.
- W2747875137 hasConceptScore W2747875137C118615104 @default.
- W2747875137 hasConceptScore W2747875137C158008952 @default.
- W2747875137 hasConceptScore W2747875137C167822520 @default.
- W2747875137 hasConceptScore W2747875137C176181172 @default.
- W2747875137 hasConceptScore W2747875137C185592680 @default.
- W2747875137 hasConceptScore W2747875137C203436722 @default.
- W2747875137 hasConceptScore W2747875137C33923547 @default.
- W2747875137 hasConceptScore W2747875137C41008148 @default.
- W2747875137 hasConceptScore W2747875137C48103436 @default.
- W2747875137 hasConceptScore W2747875137C52370388 @default.
- W2747875137 hasConceptScore W2747875137C78023250 @default.
- W2747875137 hasConceptScore W2747875137C8010536 @default.
- W2747875137 hasConceptScore W2747875137C80444323 @default.
- W2747875137 hasLocation W27478751371 @default.
- W2747875137 hasLocation W27478751372 @default.
- W2747875137 hasOpenAccess W2747875137 @default.
- W2747875137 hasPrimaryLocation W27478751371 @default.
- W2747875137 hasRelatedWork W1069688093 @default.
- W2747875137 hasRelatedWork W1531148340 @default.
- W2747875137 hasRelatedWork W153129168 @default.
- W2747875137 hasRelatedWork W1595672793 @default.
- W2747875137 hasRelatedWork W1884045513 @default.
- W2747875137 hasRelatedWork W1986204772 @default.
- W2747875137 hasRelatedWork W2028786042 @default.
- W2747875137 hasRelatedWork W2036210786 @default.
- W2747875137 hasRelatedWork W2054230520 @default.
- W2747875137 hasRelatedWork W2071780227 @default.
- W2747875137 hasRelatedWork W2145466237 @default.
- W2747875137 hasRelatedWork W2398944522 @default.
- W2747875137 hasRelatedWork W2402962222 @default.
- W2747875137 hasRelatedWork W2407531803 @default.
- W2747875137 hasRelatedWork W2756180352 @default.
- W2747875137 hasRelatedWork W2800167088 @default.
- W2747875137 hasRelatedWork W2880510147 @default.
- W2747875137 hasRelatedWork W647462584 @default.
- W2747875137 hasRelatedWork W811645096 @default.
- W2747875137 hasRelatedWork W1972285175 @default.
- W2747875137 isParatext "false" @default.
- W2747875137 isRetracted "false" @default.
- W2747875137 magId "2747875137" @default.
- W2747875137 workType "article" @default.