Matches in SemOpenAlex for { <https://semopenalex.org/work/W2891002325> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2891002325 abstract "Automata theory is an important tool in modern computer science, playing a role in compiler and many other engineering fields. This paper first analyzes the automata theory. For sake of enhancing the mathematical logicality of automata theory and to carry out the further research on the equivalent state of finite automata, we modify and optimize the basic concept of automata theory. Next, this paper defines the string set of state, in order to formalize the concept of equivalent state. According to these basic concepts, we advance several judgment theorems of equivalent state, which can explain the effectiveness of the simplification algorithms of finite automata, and complete their proofs. Finally, we also introduce a merging based simplification algorithm for finite automata, which is the direct application of one of the judgment theorems above." @default.
- W2891002325 created "2018-09-27" @default.
- W2891002325 creator A5035700386 @default.
- W2891002325 creator A5041227975 @default.
- W2891002325 creator A5045396189 @default.
- W2891002325 date "2018-07-27" @default.
- W2891002325 modified "2023-09-23" @default.
- W2891002325 title "Equivalent State of Finite Automata and Its Judgment Theorem" @default.
- W2891002325 cites W2000290048 @default.
- W2891002325 cites W2762501618 @default.
- W2891002325 cites W2769192343 @default.
- W2891002325 cites W3036883373 @default.
- W2891002325 cites W4253103663 @default.
- W2891002325 doi "https://doi.org/10.1145/3242840.3242860" @default.
- W2891002325 hasPublicationYear "2018" @default.
- W2891002325 type Work @default.
- W2891002325 sameAs 2891002325 @default.
- W2891002325 citedByCount "0" @default.
- W2891002325 crossrefType "proceedings-article" @default.
- W2891002325 hasAuthorship W2891002325A5035700386 @default.
- W2891002325 hasAuthorship W2891002325A5041227975 @default.
- W2891002325 hasAuthorship W2891002325A5045396189 @default.
- W2891002325 hasConcept C112505250 @default.
- W2891002325 hasConcept C11413529 @default.
- W2891002325 hasConcept C116248031 @default.
- W2891002325 hasConcept C118615104 @default.
- W2891002325 hasConcept C119857082 @default.
- W2891002325 hasConcept C136119220 @default.
- W2891002325 hasConcept C167822520 @default.
- W2891002325 hasConcept C174327141 @default.
- W2891002325 hasConcept C202444582 @default.
- W2891002325 hasConcept C2983497884 @default.
- W2891002325 hasConcept C33923547 @default.
- W2891002325 hasConcept C41008148 @default.
- W2891002325 hasConcept C48103436 @default.
- W2891002325 hasConcept C80444323 @default.
- W2891002325 hasConcept C98763669 @default.
- W2891002325 hasConceptScore W2891002325C112505250 @default.
- W2891002325 hasConceptScore W2891002325C11413529 @default.
- W2891002325 hasConceptScore W2891002325C116248031 @default.
- W2891002325 hasConceptScore W2891002325C118615104 @default.
- W2891002325 hasConceptScore W2891002325C119857082 @default.
- W2891002325 hasConceptScore W2891002325C136119220 @default.
- W2891002325 hasConceptScore W2891002325C167822520 @default.
- W2891002325 hasConceptScore W2891002325C174327141 @default.
- W2891002325 hasConceptScore W2891002325C202444582 @default.
- W2891002325 hasConceptScore W2891002325C2983497884 @default.
- W2891002325 hasConceptScore W2891002325C33923547 @default.
- W2891002325 hasConceptScore W2891002325C41008148 @default.
- W2891002325 hasConceptScore W2891002325C48103436 @default.
- W2891002325 hasConceptScore W2891002325C80444323 @default.
- W2891002325 hasConceptScore W2891002325C98763669 @default.
- W2891002325 hasLocation W28910023251 @default.
- W2891002325 hasOpenAccess W2891002325 @default.
- W2891002325 hasPrimaryLocation W28910023251 @default.
- W2891002325 hasRelatedWork W1762969849 @default.
- W2891002325 hasRelatedWork W1979390054 @default.
- W2891002325 hasRelatedWork W2024421699 @default.
- W2891002325 hasRelatedWork W2050696740 @default.
- W2891002325 hasRelatedWork W2299084559 @default.
- W2891002325 hasRelatedWork W2482365960 @default.
- W2891002325 hasRelatedWork W2973396142 @default.
- W2891002325 hasRelatedWork W3145814881 @default.
- W2891002325 hasRelatedWork W3200605392 @default.
- W2891002325 hasRelatedWork W4210940113 @default.
- W2891002325 isParatext "false" @default.
- W2891002325 isRetracted "false" @default.
- W2891002325 magId "2891002325" @default.
- W2891002325 workType "article" @default.