FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2010050150> ?p ?o ?g. }

• W2010050150 endingPage "56" @default.
• W2010050150 startingPage "38" @default.
• W2010050150 abstract "Automata theory based on quantum logic, called l-valued finite automata (l-VFAs), may be viewed as a logical approach to quantum computing. This work is mainly divided into two parts: one part deals with reversibility of l-VFAs, and the other establishes a basic framework of l-valued pushdown automata (l-VPDAs). First we provide some preliminaries concerning quantum logic and l-VFAs, and we prove a useful property of l-valued successor and source operators. Then we clarify the relationships between various reversibilities closely related to quantum finite automata in the literature. In particular, we define a reversibility of l-VFAs which is termed as retrievability, and we clarify the relationships between a number of different fashions regarding retrievability of l-VFAs. We prove that some of them are equivalent, but for the others to be equivalent the truth-value set is required to satisfy a certain condition. This is an essential difference from the classical situation. Afterwards, we introduce l-VPDAs and show that the class of the languages accepted by l-VPDAs by empty stack coincides with that accepted by l-VPDAs by final state. Finally, we provide some examples of l-VFAs and conclude with some remarks." @default.
• W2010050150 created "2016-06-24" @default.
• W2010050150 creator A5026963602 @default.
• W2010050150 date "2007-10-01" @default.
• W2010050150 modified "2023-10-14" @default.
• W2010050150 title "Automata theory based on quantum logic: Reversibilities and pushdown automata" @default.
• W2010050150 cites W133516216 @default.
• W2010050150 cites W1594567376 @default.
• W2010050150 cites W1964280720 @default.
• W2010050150 cites W1964952177 @default.
• W2010050150 cites W197090178 @default.
• W2010050150 cites W1993688167 @default.
• W2010050150 cites W2009481578 @default.
• W2010050150 cites W2035423077 @default.
• W2010050150 cites W2041518499 @default.
• W2010050150 cites W2044084653 @default.
• W2010050150 cites W2044141959 @default.
• W2010050150 cites W2052866997 @default.
• W2010050150 cites W2074567307 @default.
• W2010050150 cites W2081516556 @default.
• W2010050150 cites W2084652510 @default.
• W2010050150 cites W2085426595 @default.
• W2010050150 cites W2089090125 @default.
• W2010050150 cites W2092386826 @default.
• W2010050150 cites W2105259569 @default.
• W2010050150 cites W2126098510 @default.
• W2010050150 cites W2146914341 @default.
• W2010050150 cites W2148132004 @default.
• W2010050150 cites W2179731956 @default.
• W2010050150 cites W3126996113 @default.
• W2010050150 cites W4212875940 @default.
• W2010050150 cites W4252729827 @default.
• W2010050150 doi "https://doi.org/10.1016/j.tcs.2007.05.026" @default.
• W2010050150 hasPublicationYear "2007" @default.
• W2010050150 type Work @default.
• W2010050150 sameAs 2010050150 @default.
• W2010050150 citedByCount "44" @default.
• W2010050150 countsByYear W20100501502012 @default.
• W2010050150 countsByYear W20100501502013 @default.
• W2010050150 countsByYear W20100501502014 @default.
• W2010050150 countsByYear W20100501502015 @default.
• W2010050150 countsByYear W20100501502017 @default.
• W2010050150 countsByYear W20100501502018 @default.
• W2010050150 countsByYear W20100501502019 @default.
• W2010050150 countsByYear W20100501502020 @default.
• W2010050150 countsByYear W20100501502021 @default.
• W2010050150 countsByYear W20100501502022 @default.
• W2010050150 countsByYear W20100501502023 @default.
• W2010050150 crossrefType "journal-article" @default.
• W2010050150 hasAuthorship W2010050150A5026963602 @default.
• W2010050150 hasConcept C111472728 @default.
• W2010050150 hasConcept C112505250 @default.
• W2010050150 hasConcept C118615104 @default.
• W2010050150 hasConcept C121332964 @default.
• W2010050150 hasConcept C138885662 @default.
• W2010050150 hasConcept C154945302 @default.
• W2010050150 hasConcept C169460222 @default.
• W2010050150 hasConcept C189950617 @default.
• W2010050150 hasConcept C2777212361 @default.
• W2010050150 hasConcept C33923547 @default.
• W2010050150 hasConcept C41008148 @default.
• W2010050150 hasConcept C58053490 @default.
• W2010050150 hasConcept C62520636 @default.
• W2010050150 hasConcept C77944639 @default.
• W2010050150 hasConcept C80444323 @default.
• W2010050150 hasConcept C84114770 @default.
• W2010050150 hasConceptScore W2010050150C111472728 @default.
• W2010050150 hasConceptScore W2010050150C112505250 @default.
• W2010050150 hasConceptScore W2010050150C118615104 @default.
• W2010050150 hasConceptScore W2010050150C121332964 @default.
• W2010050150 hasConceptScore W2010050150C138885662 @default.
• W2010050150 hasConceptScore W2010050150C154945302 @default.
• W2010050150 hasConceptScore W2010050150C169460222 @default.
• W2010050150 hasConceptScore W2010050150C189950617 @default.
• W2010050150 hasConceptScore W2010050150C2777212361 @default.
• W2010050150 hasConceptScore W2010050150C33923547 @default.
• W2010050150 hasConceptScore W2010050150C41008148 @default.
• W2010050150 hasConceptScore W2010050150C58053490 @default.
• W2010050150 hasConceptScore W2010050150C62520636 @default.
• W2010050150 hasConceptScore W2010050150C77944639 @default.
• W2010050150 hasConceptScore W2010050150C80444323 @default.
• W2010050150 hasConceptScore W2010050150C84114770 @default.
• W2010050150 hasIssue "1-2" @default.
• W2010050150 hasLocation W20100501501 @default.
• W2010050150 hasOpenAccess W2010050150 @default.
• W2010050150 hasPrimaryLocation W20100501501 @default.
• W2010050150 hasRelatedWork W1989095436 @default.
• W2010050150 hasRelatedWork W2018091338 @default.
• W2010050150 hasRelatedWork W2041168146 @default.
• W2010050150 hasRelatedWork W2063384625 @default.
• W2010050150 hasRelatedWork W2113556263 @default.
• W2010050150 hasRelatedWork W2408319280 @default.
• W2010050150 hasRelatedWork W3147158980 @default.
• W2010050150 hasRelatedWork W50579543 @default.
• W2010050150 hasRelatedWork W52870181 @default.
• W2010050150 hasRelatedWork W62903840 @default.
• W2010050150 hasVolume "386" @default.
• W2010050150 isParatext "false" @default.

• next