Matches in SemOpenAlex for { <https://semopenalex.org/work/W2796797028> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2796797028 endingPage "270" @default.
- W2796797028 startingPage "251" @default.
- W2796797028 abstract "We study reversible deterministic finite automata (REV-DFAs), that are partial deterministic finite automata whose transition function induces an injective mapping on the state set for every letter of the input alphabet. We give a structural characterization of regular languages that can be accepted by REV-DFAs. This characterization is based on the absence of a forbidden pattern in the (minimal) deterministic state graph. Again with a forbidden pattern approach, we also show that the minimality of REV-DFAs among all equivalent REV-DFAs can be decided. Both forbidden pattern characterizations give rise to [Formula: see text]-complete decision algorithms. In fact, our techniques allow us to construct the minimal REV-DFA for a given minimal DFA. These considerations lead to asymptotic upper and lower bounds on the conversion from DFAs to REV-DFAs. Thus, almost all problems that concern uniqueness and the size of minimal REV-DFAs are solved." @default.
- W2796797028 created "2018-04-24" @default.
- W2796797028 creator A5016664760 @default.
- W2796797028 creator A5026803820 @default.
- W2796797028 creator A5056800220 @default.
- W2796797028 date "2018-02-01" @default.
- W2796797028 modified "2023-10-02" @default.
- W2796797028 title "Minimal Reversible Deterministic Finite Automata" @default.
- W2796797028 cites W124851435 @default.
- W2796797028 cites W1590283810 @default.
- W2796797028 cites W159651414 @default.
- W2796797028 cites W1988572171 @default.
- W2796797028 cites W2012539169 @default.
- W2796797028 cites W2043360684 @default.
- W2796797028 cites W2055809970 @default.
- W2796797028 cites W2092386826 @default.
- W2796797028 cites W2092883162 @default.
- W2796797028 cites W2105259569 @default.
- W2796797028 cites W2160728288 @default.
- W2796797028 cites W2183328018 @default.
- W2796797028 cites W4233798822 @default.
- W2796797028 doi "https://doi.org/10.1142/s0129054118400063" @default.
- W2796797028 hasPublicationYear "2018" @default.
- W2796797028 type Work @default.
- W2796797028 sameAs 2796797028 @default.
- W2796797028 citedByCount "10" @default.
- W2796797028 countsByYear W27967970282018 @default.
- W2796797028 countsByYear W27967970282019 @default.
- W2796797028 countsByYear W27967970282020 @default.
- W2796797028 countsByYear W27967970282021 @default.
- W2796797028 countsByYear W27967970282022 @default.
- W2796797028 countsByYear W27967970282023 @default.
- W2796797028 crossrefType "journal-article" @default.
- W2796797028 hasAuthorship W2796797028A5016664760 @default.
- W2796797028 hasAuthorship W2796797028A5026803820 @default.
- W2796797028 hasAuthorship W2796797028A5056800220 @default.
- W2796797028 hasConcept C104091681 @default.
- W2796797028 hasConcept C112505250 @default.
- W2796797028 hasConcept C112876837 @default.
- W2796797028 hasConcept C11413529 @default.
- W2796797028 hasConcept C114614502 @default.
- W2796797028 hasConcept C116248031 @default.
- W2796797028 hasConcept C118615104 @default.
- W2796797028 hasConcept C128107574 @default.
- W2796797028 hasConcept C134306372 @default.
- W2796797028 hasConcept C138885662 @default.
- W2796797028 hasConcept C158008952 @default.
- W2796797028 hasConcept C167822520 @default.
- W2796797028 hasConcept C194525867 @default.
- W2796797028 hasConcept C2777021972 @default.
- W2796797028 hasConcept C33923547 @default.
- W2796797028 hasConcept C41008148 @default.
- W2796797028 hasConcept C41895202 @default.
- W2796797028 hasConcept C65753522 @default.
- W2796797028 hasConcept C80444323 @default.
- W2796797028 hasConceptScore W2796797028C104091681 @default.
- W2796797028 hasConceptScore W2796797028C112505250 @default.
- W2796797028 hasConceptScore W2796797028C112876837 @default.
- W2796797028 hasConceptScore W2796797028C11413529 @default.
- W2796797028 hasConceptScore W2796797028C114614502 @default.
- W2796797028 hasConceptScore W2796797028C116248031 @default.
- W2796797028 hasConceptScore W2796797028C118615104 @default.
- W2796797028 hasConceptScore W2796797028C128107574 @default.
- W2796797028 hasConceptScore W2796797028C134306372 @default.
- W2796797028 hasConceptScore W2796797028C138885662 @default.
- W2796797028 hasConceptScore W2796797028C158008952 @default.
- W2796797028 hasConceptScore W2796797028C167822520 @default.
- W2796797028 hasConceptScore W2796797028C194525867 @default.
- W2796797028 hasConceptScore W2796797028C2777021972 @default.
- W2796797028 hasConceptScore W2796797028C33923547 @default.
- W2796797028 hasConceptScore W2796797028C41008148 @default.
- W2796797028 hasConceptScore W2796797028C41895202 @default.
- W2796797028 hasConceptScore W2796797028C65753522 @default.
- W2796797028 hasConceptScore W2796797028C80444323 @default.
- W2796797028 hasIssue "02" @default.
- W2796797028 hasLocation W27967970281 @default.
- W2796797028 hasOpenAccess W2796797028 @default.
- W2796797028 hasPrimaryLocation W27967970281 @default.
- W2796797028 hasRelatedWork W1704463895 @default.
- W2796797028 hasRelatedWork W1968608348 @default.
- W2796797028 hasRelatedWork W1987608226 @default.
- W2796797028 hasRelatedWork W2010588138 @default.
- W2796797028 hasRelatedWork W2070934866 @default.
- W2796797028 hasRelatedWork W2111868903 @default.
- W2796797028 hasRelatedWork W2770127456 @default.
- W2796797028 hasRelatedWork W3046613010 @default.
- W2796797028 hasRelatedWork W4246705858 @default.
- W2796797028 hasRelatedWork W4301966287 @default.
- W2796797028 hasVolume "29" @default.
- W2796797028 isParatext "false" @default.
- W2796797028 isRetracted "false" @default.
- W2796797028 magId "2796797028" @default.
- W2796797028 workType "article" @default.