Matches in SemOpenAlex for { <https://semopenalex.org/work/W76687299> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W76687299 endingPage "75" @default.
- W76687299 startingPage "70" @default.
- W76687299 abstract "Automata theory plays a vital role in modeling behavior while Z notation is an ideal specification language for describing state space of a system. Consequently, integration of automata and Z will be a useful tool for increasing modeling power of complex systems. Further, nondeterministic finite automata (NFA) may have different implementations and therefore it is needed to verify the transformation from diagrams to code. If we describe formal specification of an NFA before implementing then confidence over transformation can be increased. In this paper, we have combined NFA with Z and a linkage is established between these approaches. At this level of integration, we have given a formal procedure to transform NFA to Z. A string accepter is designed and then extended to the language accepter. Finally, NFA accepting union of two regular languages is constructed by describing formal specification of their relationships. The specification is analyzed and validated using Z/EVES tool." @default.
- W76687299 created "2016-06-24" @default.
- W76687299 creator A5011440645 @default.
- W76687299 creator A5022909686 @default.
- W76687299 creator A5072501453 @default.
- W76687299 date "2008-11-21" @default.
- W76687299 modified "2023-09-27" @default.
- W76687299 title "Semantics transformation of NFA to Z notation by constructing union of regular languages" @default.
- W76687299 cites W1488235988 @default.
- W76687299 cites W1499965630 @default.
- W76687299 cites W1524760418 @default.
- W76687299 cites W1530797069 @default.
- W76687299 cites W1555847525 @default.
- W76687299 cites W1586668623 @default.
- W76687299 cites W1965539666 @default.
- W76687299 cites W1970322966 @default.
- W76687299 cites W1994584977 @default.
- W76687299 cites W2002089154 @default.
- W76687299 cites W2011606665 @default.
- W76687299 cites W2096282030 @default.
- W76687299 cites W2108434092 @default.
- W76687299 cites W2137309431 @default.
- W76687299 cites W2141329987 @default.
- W76687299 cites W2747111839 @default.
- W76687299 hasPublicationYear "2008" @default.
- W76687299 type Work @default.
- W76687299 sameAs 76687299 @default.
- W76687299 citedByCount "2" @default.
- W76687299 crossrefType "journal-article" @default.
- W76687299 hasAuthorship W76687299A5011440645 @default.
- W76687299 hasAuthorship W76687299A5022909686 @default.
- W76687299 hasAuthorship W76687299A5072501453 @default.
- W76687299 hasConcept C104317684 @default.
- W76687299 hasConcept C112505250 @default.
- W76687299 hasConcept C116253237 @default.
- W76687299 hasConcept C146072743 @default.
- W76687299 hasConcept C154564781 @default.
- W76687299 hasConcept C154690210 @default.
- W76687299 hasConcept C176181172 @default.
- W76687299 hasConcept C184337299 @default.
- W76687299 hasConcept C185592680 @default.
- W76687299 hasConcept C199360897 @default.
- W76687299 hasConcept C204241405 @default.
- W76687299 hasConcept C41008148 @default.
- W76687299 hasConcept C55493867 @default.
- W76687299 hasConcept C80444323 @default.
- W76687299 hasConceptScore W76687299C104317684 @default.
- W76687299 hasConceptScore W76687299C112505250 @default.
- W76687299 hasConceptScore W76687299C116253237 @default.
- W76687299 hasConceptScore W76687299C146072743 @default.
- W76687299 hasConceptScore W76687299C154564781 @default.
- W76687299 hasConceptScore W76687299C154690210 @default.
- W76687299 hasConceptScore W76687299C176181172 @default.
- W76687299 hasConceptScore W76687299C184337299 @default.
- W76687299 hasConceptScore W76687299C185592680 @default.
- W76687299 hasConceptScore W76687299C199360897 @default.
- W76687299 hasConceptScore W76687299C204241405 @default.
- W76687299 hasConceptScore W76687299C41008148 @default.
- W76687299 hasConceptScore W76687299C55493867 @default.
- W76687299 hasConceptScore W76687299C80444323 @default.
- W76687299 hasLocation W766872991 @default.
- W76687299 hasOpenAccess W76687299 @default.
- W76687299 hasPrimaryLocation W766872991 @default.
- W76687299 hasRelatedWork W1012866479 @default.
- W76687299 hasRelatedWork W1975315464 @default.
- W76687299 hasRelatedWork W1976488570 @default.
- W76687299 hasRelatedWork W2020430463 @default.
- W76687299 hasRelatedWork W2075969214 @default.
- W76687299 hasRelatedWork W2078730851 @default.
- W76687299 hasRelatedWork W2107081125 @default.
- W76687299 hasRelatedWork W2254838832 @default.
- W76687299 hasRelatedWork W2258615751 @default.
- W76687299 hasRelatedWork W2496037140 @default.
- W76687299 hasRelatedWork W2747328602 @default.
- W76687299 hasRelatedWork W2950731245 @default.
- W76687299 hasRelatedWork W2951951108 @default.
- W76687299 hasRelatedWork W2962977358 @default.
- W76687299 hasRelatedWork W3127791852 @default.
- W76687299 hasRelatedWork W3140486346 @default.
- W76687299 hasRelatedWork W3176961727 @default.
- W76687299 hasRelatedWork W3186009139 @default.
- W76687299 hasRelatedWork W629264660 @default.
- W76687299 hasRelatedWork W2337211079 @default.
- W76687299 isParatext "false" @default.
- W76687299 isRetracted "false" @default.
- W76687299 magId "76687299" @default.
- W76687299 workType "article" @default.