Matches in SemOpenAlex for { <https://semopenalex.org/work/W3048956856> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W3048956856 abstract "We consider several reversible finite automaton models which have been introduced over decades, and study some properties of their languages. In particular, we look at the question whether the quotients and atoms of a specific class of reversible languages also belong to that class or not. We consider bideterministic automata, reversible deterministic finite automata (REV-DFAs), reversible multiple-entry DFAs (REV-MeDFAs), and several variants of reversible nondeterministic finite automata (REV-NFAs). It is known that the class of REV-DFA languages is strictly included in the class of REV-MeDFA languages. We show that the classes of complete REV-DFA languages and complete REV-MeDFA languages are the same. We also show that differently from the general case of a REV-DFA language, the minimal DFA of a complete REV-DFA language is a complete REV-DFA. We also show that atoms of any regular language are accepted by REV-NFAs with a single initial and a single final state." @default.
- W3048956856 created "2020-08-18" @default.
- W3048956856 creator A5079357690 @default.
- W3048956856 date "2020-01-01" @default.
- W3048956856 modified "2023-09-27" @default.
- W3048956856 title "Quotients and Atoms of Reversible Languages" @default.
- W3048956856 cites W1490320195 @default.
- W3048956856 cites W1567676570 @default.
- W3048956856 cites W1615228264 @default.
- W3048956856 cites W1768118166 @default.
- W3048956856 cites W2092386826 @default.
- W3048956856 cites W2153026689 @default.
- W3048956856 cites W2160728288 @default.
- W3048956856 cites W2169734852 @default.
- W3048956856 cites W2619298142 @default.
- W3048956856 cites W2747254125 @default.
- W3048956856 cites W2772918710 @default.
- W3048956856 cites W2796797028 @default.
- W3048956856 doi "https://doi.org/10.1007/978-3-030-54997-8_28" @default.
- W3048956856 hasPublicationYear "2020" @default.
- W3048956856 type Work @default.
- W3048956856 sameAs 3048956856 @default.
- W3048956856 citedByCount "0" @default.
- W3048956856 crossrefType "book-chapter" @default.
- W3048956856 hasAuthorship W3048956856A5079357690 @default.
- W3048956856 hasConcept C104091681 @default.
- W3048956856 hasConcept C112505250 @default.
- W3048956856 hasConcept C11413529 @default.
- W3048956856 hasConcept C114614502 @default.
- W3048956856 hasConcept C116248031 @default.
- W3048956856 hasConcept C118615104 @default.
- W3048956856 hasConcept C154945302 @default.
- W3048956856 hasConcept C158008952 @default.
- W3048956856 hasConcept C167822520 @default.
- W3048956856 hasConcept C176181172 @default.
- W3048956856 hasConcept C194525867 @default.
- W3048956856 hasConcept C199422724 @default.
- W3048956856 hasConcept C2777212361 @default.
- W3048956856 hasConcept C33923547 @default.
- W3048956856 hasConcept C41008148 @default.
- W3048956856 hasConcept C52370388 @default.
- W3048956856 hasConcept C80444323 @default.
- W3048956856 hasConceptScore W3048956856C104091681 @default.
- W3048956856 hasConceptScore W3048956856C112505250 @default.
- W3048956856 hasConceptScore W3048956856C11413529 @default.
- W3048956856 hasConceptScore W3048956856C114614502 @default.
- W3048956856 hasConceptScore W3048956856C116248031 @default.
- W3048956856 hasConceptScore W3048956856C118615104 @default.
- W3048956856 hasConceptScore W3048956856C154945302 @default.
- W3048956856 hasConceptScore W3048956856C158008952 @default.
- W3048956856 hasConceptScore W3048956856C167822520 @default.
- W3048956856 hasConceptScore W3048956856C176181172 @default.
- W3048956856 hasConceptScore W3048956856C194525867 @default.
- W3048956856 hasConceptScore W3048956856C199422724 @default.
- W3048956856 hasConceptScore W3048956856C2777212361 @default.
- W3048956856 hasConceptScore W3048956856C33923547 @default.
- W3048956856 hasConceptScore W3048956856C41008148 @default.
- W3048956856 hasConceptScore W3048956856C52370388 @default.
- W3048956856 hasConceptScore W3048956856C80444323 @default.
- W3048956856 hasLocation W30489568561 @default.
- W3048956856 hasOpenAccess W3048956856 @default.
- W3048956856 hasPrimaryLocation W30489568561 @default.
- W3048956856 hasRelatedWork W129681412 @default.
- W3048956856 hasRelatedWork W1495032358 @default.
- W3048956856 hasRelatedWork W1540981970 @default.
- W3048956856 hasRelatedWork W1676886548 @default.
- W3048956856 hasRelatedWork W180756232 @default.
- W3048956856 hasRelatedWork W2090553158 @default.
- W3048956856 hasRelatedWork W2096694877 @default.
- W3048956856 hasRelatedWork W2395873529 @default.
- W3048956856 hasRelatedWork W2488819432 @default.
- W3048956856 hasRelatedWork W2747254125 @default.
- W3048956856 hasRelatedWork W2754945231 @default.
- W3048956856 hasRelatedWork W2949318112 @default.
- W3048956856 hasRelatedWork W2950147499 @default.
- W3048956856 hasRelatedWork W2963305382 @default.
- W3048956856 hasRelatedWork W2963315980 @default.
- W3048956856 hasRelatedWork W3041933403 @default.
- W3048956856 hasRelatedWork W3164238977 @default.
- W3048956856 hasRelatedWork W3190077759 @default.
- W3048956856 hasRelatedWork W3195622848 @default.
- W3048956856 hasRelatedWork W843209405 @default.
- W3048956856 isParatext "false" @default.
- W3048956856 isRetracted "false" @default.
- W3048956856 magId "3048956856" @default.
- W3048956856 workType "book-chapter" @default.