Matches in SemOpenAlex for { <https://semopenalex.org/work/W4230442289> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W4230442289 endingPage "116" @default.
- W4230442289 startingPage "105" @default.
- W4230442289 abstract "We show that every regular language defines a unique nondeterministic finite automaton (NFA), which we call “átomaton”, whose states are the “atoms” of the language, that is, non-empty intersections of complemented or uncomplemented left quotients of the language. We describe methods of constructing the átomaton, and prove that it is isomorphic to the normal automaton of Sengoku, and to an automaton of Matz and Potthoff. We study “atomic” NFA’s in which the right language of every state is a union of atoms. We generalize Brzozowski’s double-reversal method for minimizing a deterministic finite automaton (DFA), showing that the result of applying the subset construction to an NFA is a minimal DFA if and only if the reverse of the NFA is atomic." @default.
- W4230442289 created "2022-05-11" @default.
- W4230442289 creator A5016883956 @default.
- W4230442289 creator A5079357690 @default.
- W4230442289 date "2011-01-01" @default.
- W4230442289 modified "2023-09-24" @default.
- W4230442289 title "Theory of Átomata" @default.
- W4230442289 cites W1588454361 @default.
- W4230442289 cites W2054801208 @default.
- W4230442289 cites W2061668791 @default.
- W4230442289 doi "https://doi.org/10.1007/978-3-642-22321-1_10" @default.
- W4230442289 hasPublicationYear "2011" @default.
- W4230442289 type Work @default.
- W4230442289 citedByCount "8" @default.
- W4230442289 countsByYear W42304422892012 @default.
- W4230442289 countsByYear W42304422892014 @default.
- W4230442289 countsByYear W42304422892015 @default.
- W4230442289 countsByYear W42304422892016 @default.
- W4230442289 crossrefType "book-chapter" @default.
- W4230442289 hasAuthorship W4230442289A5016883956 @default.
- W4230442289 hasAuthorship W4230442289A5079357690 @default.
- W4230442289 hasConcept C104091681 @default.
- W4230442289 hasConcept C112505250 @default.
- W4230442289 hasConcept C11413529 @default.
- W4230442289 hasConcept C114614502 @default.
- W4230442289 hasConcept C116248031 @default.
- W4230442289 hasConcept C118615104 @default.
- W4230442289 hasConcept C121329065 @default.
- W4230442289 hasConcept C139423837 @default.
- W4230442289 hasConcept C158008952 @default.
- W4230442289 hasConcept C165753454 @default.
- W4230442289 hasConcept C167822520 @default.
- W4230442289 hasConcept C176181172 @default.
- W4230442289 hasConcept C194525867 @default.
- W4230442289 hasConcept C199360897 @default.
- W4230442289 hasConcept C199422724 @default.
- W4230442289 hasConcept C33923547 @default.
- W4230442289 hasConcept C41008148 @default.
- W4230442289 hasConcept C52370388 @default.
- W4230442289 hasConcept C80444323 @default.
- W4230442289 hasConceptScore W4230442289C104091681 @default.
- W4230442289 hasConceptScore W4230442289C112505250 @default.
- W4230442289 hasConceptScore W4230442289C11413529 @default.
- W4230442289 hasConceptScore W4230442289C114614502 @default.
- W4230442289 hasConceptScore W4230442289C116248031 @default.
- W4230442289 hasConceptScore W4230442289C118615104 @default.
- W4230442289 hasConceptScore W4230442289C121329065 @default.
- W4230442289 hasConceptScore W4230442289C139423837 @default.
- W4230442289 hasConceptScore W4230442289C158008952 @default.
- W4230442289 hasConceptScore W4230442289C165753454 @default.
- W4230442289 hasConceptScore W4230442289C167822520 @default.
- W4230442289 hasConceptScore W4230442289C176181172 @default.
- W4230442289 hasConceptScore W4230442289C194525867 @default.
- W4230442289 hasConceptScore W4230442289C199360897 @default.
- W4230442289 hasConceptScore W4230442289C199422724 @default.
- W4230442289 hasConceptScore W4230442289C33923547 @default.
- W4230442289 hasConceptScore W4230442289C41008148 @default.
- W4230442289 hasConceptScore W4230442289C52370388 @default.
- W4230442289 hasConceptScore W4230442289C80444323 @default.
- W4230442289 hasLocation W42304422891 @default.
- W4230442289 hasOpenAccess W4230442289 @default.
- W4230442289 hasPrimaryLocation W42304422891 @default.
- W4230442289 hasRelatedWork W1530258609 @default.
- W4230442289 hasRelatedWork W202244539 @default.
- W4230442289 hasRelatedWork W2080947572 @default.
- W4230442289 hasRelatedWork W2091988401 @default.
- W4230442289 hasRelatedWork W2136740376 @default.
- W4230442289 hasRelatedWork W2483992842 @default.
- W4230442289 hasRelatedWork W2769230307 @default.
- W4230442289 hasRelatedWork W2973197960 @default.
- W4230442289 hasRelatedWork W3046613010 @default.
- W4230442289 hasRelatedWork W2186499132 @default.
- W4230442289 isParatext "false" @default.
- W4230442289 isRetracted "false" @default.
- W4230442289 workType "book-chapter" @default.