Matches in SemOpenAlex for { <https://semopenalex.org/work/W2036210786> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2036210786 endingPage "354" @default.
- W2036210786 startingPage "348" @default.
- W2036210786 abstract "It is known that for every restricted regular expression of length n there exists a nondeterministic finite automaton with n + 1 states giving rise to the upper bound of 2 n + 1 on the number of states of the corresponding reduced automaton. In this note we show that this bound can be attained for all n ⩾ 2, i.e., the upper bound 2 n + 1 is optimal. An observation is then made about the synthesis problem for nondeterministic finite automata." @default.
- W2036210786 created "2016-06-24" @default.
- W2036210786 creator A5076583178 @default.
- W2036210786 date "1981-12-01" @default.
- W2036210786 modified "2023-09-30" @default.
- W2036210786 title "The complexity of restricted regular expressions and the synthesis problem for finite automata" @default.
- W2036210786 cites W1493925387 @default.
- W2036210786 cites W1576979152 @default.
- W2036210786 cites W1581140154 @default.
- W2036210786 cites W1655990431 @default.
- W2036210786 cites W2007130296 @default.
- W2036210786 cites W2072607050 @default.
- W2036210786 cites W2090921231 @default.
- W2036210786 cites W2129414328 @default.
- W2036210786 cites W3150132563 @default.
- W2036210786 doi "https://doi.org/10.1016/0022-0000(81)90070-2" @default.
- W2036210786 hasPublicationYear "1981" @default.
- W2036210786 type Work @default.
- W2036210786 sameAs 2036210786 @default.
- W2036210786 citedByCount "13" @default.
- W2036210786 countsByYear W20362107862013 @default.
- W2036210786 countsByYear W20362107862014 @default.
- W2036210786 countsByYear W20362107862015 @default.
- W2036210786 countsByYear W20362107862022 @default.
- W2036210786 crossrefType "journal-article" @default.
- W2036210786 hasAuthorship W2036210786A5076583178 @default.
- W2036210786 hasBestOaLocation W20362107861 @default.
- W2036210786 hasConcept C104091681 @default.
- W2036210786 hasConcept C112505250 @default.
- W2036210786 hasConcept C11413529 @default.
- W2036210786 hasConcept C116248031 @default.
- W2036210786 hasConcept C118615104 @default.
- W2036210786 hasConcept C121329065 @default.
- W2036210786 hasConcept C158008952 @default.
- W2036210786 hasConcept C167822520 @default.
- W2036210786 hasConcept C174327141 @default.
- W2036210786 hasConcept C199360897 @default.
- W2036210786 hasConcept C33923547 @default.
- W2036210786 hasConcept C41008148 @default.
- W2036210786 hasConcept C65753522 @default.
- W2036210786 hasConcept C80444323 @default.
- W2036210786 hasConcept C92710233 @default.
- W2036210786 hasConceptScore W2036210786C104091681 @default.
- W2036210786 hasConceptScore W2036210786C112505250 @default.
- W2036210786 hasConceptScore W2036210786C11413529 @default.
- W2036210786 hasConceptScore W2036210786C116248031 @default.
- W2036210786 hasConceptScore W2036210786C118615104 @default.
- W2036210786 hasConceptScore W2036210786C121329065 @default.
- W2036210786 hasConceptScore W2036210786C158008952 @default.
- W2036210786 hasConceptScore W2036210786C167822520 @default.
- W2036210786 hasConceptScore W2036210786C174327141 @default.
- W2036210786 hasConceptScore W2036210786C199360897 @default.
- W2036210786 hasConceptScore W2036210786C33923547 @default.
- W2036210786 hasConceptScore W2036210786C41008148 @default.
- W2036210786 hasConceptScore W2036210786C65753522 @default.
- W2036210786 hasConceptScore W2036210786C80444323 @default.
- W2036210786 hasConceptScore W2036210786C92710233 @default.
- W2036210786 hasIssue "3" @default.
- W2036210786 hasLocation W20362107861 @default.
- W2036210786 hasOpenAccess W2036210786 @default.
- W2036210786 hasPrimaryLocation W20362107861 @default.
- W2036210786 hasRelatedWork W1423874546 @default.
- W2036210786 hasRelatedWork W1530258609 @default.
- W2036210786 hasRelatedWork W1966841351 @default.
- W2036210786 hasRelatedWork W2111766876 @default.
- W2036210786 hasRelatedWork W2125008689 @default.
- W2036210786 hasRelatedWork W2160879187 @default.
- W2036210786 hasRelatedWork W2396272923 @default.
- W2036210786 hasRelatedWork W2482365960 @default.
- W2036210786 hasRelatedWork W3143588635 @default.
- W2036210786 hasRelatedWork W4308880995 @default.
- W2036210786 hasVolume "23" @default.
- W2036210786 isParatext "false" @default.
- W2036210786 isRetracted "false" @default.
- W2036210786 magId "2036210786" @default.
- W2036210786 workType "article" @default.