Matches in SemOpenAlex for { <https://semopenalex.org/work/W2103015061> ?p ?o ?g. }
- W2103015061 abstract "We study a model of one-way quantum automaton where only measurement operations are allowed ($mon$). We give an algebraic characterization of $lmo(Sigma)$, showing that the syntactic monoids of the languages in $lmo(Sigma)$ are exactly the $J$-trivial literally idempotent syntactic monoids, where $J$ is the Green's relation determined by two-sided ideals. We also prove that $lmo(Sigma)$ coincides with the literal variety of literally idempotent piecewise testable regular languages. This allows us to prove the existence of a polynomial time algorithm for deciding whether a regular language belongs to $lmo(Sigma)$ and to discuss definability issues in terms of the existential first-order logic $Sigma_1[<]$ and the linear temporal logic without the next operator LTLWN." @default.
- W2103015061 created "2016-06-24" @default.
- W2103015061 creator A5037223268 @default.
- W2103015061 date "2013-01-16" @default.
- W2103015061 modified "2023-09-27" @default.
- W2103015061 title "Extended Version) Algebraic Characterization of the Class of Languages recognized by Measure Only Quantum Automata" @default.
- W2103015061 cites W1485061101 @default.
- W2103015061 cites W1511995922 @default.
- W2103015061 cites W1529497146 @default.
- W2103015061 cites W1600308590 @default.
- W2103015061 cites W1985780795 @default.
- W2103015061 cites W200063938 @default.
- W2103015061 cites W2053216403 @default.
- W2103015061 cites W2089090125 @default.
- W2103015061 cites W3104100960 @default.
- W2103015061 hasPublicationYear "2013" @default.
- W2103015061 type Work @default.
- W2103015061 sameAs 2103015061 @default.
- W2103015061 citedByCount "0" @default.
- W2103015061 crossrefType "posted-content" @default.
- W2103015061 hasAuthorship W2103015061A5037223268 @default.
- W2103015061 hasConcept C104317684 @default.
- W2103015061 hasConcept C105795698 @default.
- W2103015061 hasConcept C112505250 @default.
- W2103015061 hasConcept C118615104 @default.
- W2103015061 hasConcept C121332964 @default.
- W2103015061 hasConcept C134306372 @default.
- W2103015061 hasConcept C136119220 @default.
- W2103015061 hasConcept C136197465 @default.
- W2103015061 hasConcept C154945302 @default.
- W2103015061 hasConcept C158448853 @default.
- W2103015061 hasConcept C17020691 @default.
- W2103015061 hasConcept C171250308 @default.
- W2103015061 hasConcept C172252984 @default.
- W2103015061 hasConcept C185592680 @default.
- W2103015061 hasConcept C192562407 @default.
- W2103015061 hasConcept C202444582 @default.
- W2103015061 hasConcept C2777212361 @default.
- W2103015061 hasConcept C2778049214 @default.
- W2103015061 hasConcept C2780009758 @default.
- W2103015061 hasConcept C2780841128 @default.
- W2103015061 hasConcept C33923547 @default.
- W2103015061 hasConcept C41008148 @default.
- W2103015061 hasConcept C52370388 @default.
- W2103015061 hasConcept C55493867 @default.
- W2103015061 hasConcept C62520636 @default.
- W2103015061 hasConcept C77088390 @default.
- W2103015061 hasConcept C80444323 @default.
- W2103015061 hasConcept C86339819 @default.
- W2103015061 hasConcept C9376300 @default.
- W2103015061 hasConceptScore W2103015061C104317684 @default.
- W2103015061 hasConceptScore W2103015061C105795698 @default.
- W2103015061 hasConceptScore W2103015061C112505250 @default.
- W2103015061 hasConceptScore W2103015061C118615104 @default.
- W2103015061 hasConceptScore W2103015061C121332964 @default.
- W2103015061 hasConceptScore W2103015061C134306372 @default.
- W2103015061 hasConceptScore W2103015061C136119220 @default.
- W2103015061 hasConceptScore W2103015061C136197465 @default.
- W2103015061 hasConceptScore W2103015061C154945302 @default.
- W2103015061 hasConceptScore W2103015061C158448853 @default.
- W2103015061 hasConceptScore W2103015061C17020691 @default.
- W2103015061 hasConceptScore W2103015061C171250308 @default.
- W2103015061 hasConceptScore W2103015061C172252984 @default.
- W2103015061 hasConceptScore W2103015061C185592680 @default.
- W2103015061 hasConceptScore W2103015061C192562407 @default.
- W2103015061 hasConceptScore W2103015061C202444582 @default.
- W2103015061 hasConceptScore W2103015061C2777212361 @default.
- W2103015061 hasConceptScore W2103015061C2778049214 @default.
- W2103015061 hasConceptScore W2103015061C2780009758 @default.
- W2103015061 hasConceptScore W2103015061C2780841128 @default.
- W2103015061 hasConceptScore W2103015061C33923547 @default.
- W2103015061 hasConceptScore W2103015061C41008148 @default.
- W2103015061 hasConceptScore W2103015061C52370388 @default.
- W2103015061 hasConceptScore W2103015061C55493867 @default.
- W2103015061 hasConceptScore W2103015061C62520636 @default.
- W2103015061 hasConceptScore W2103015061C77088390 @default.
- W2103015061 hasConceptScore W2103015061C80444323 @default.
- W2103015061 hasConceptScore W2103015061C86339819 @default.
- W2103015061 hasConceptScore W2103015061C9376300 @default.
- W2103015061 hasLocation W21030150611 @default.
- W2103015061 hasOpenAccess W2103015061 @default.
- W2103015061 hasPrimaryLocation W21030150611 @default.
- W2103015061 hasRelatedWork W1507093113 @default.
- W2103015061 hasRelatedWork W1583993709 @default.
- W2103015061 hasRelatedWork W1619417257 @default.
- W2103015061 hasRelatedWork W1636858180 @default.
- W2103015061 hasRelatedWork W1970294481 @default.
- W2103015061 hasRelatedWork W2018199468 @default.
- W2103015061 hasRelatedWork W2022554132 @default.
- W2103015061 hasRelatedWork W2025395116 @default.
- W2103015061 hasRelatedWork W2053039020 @default.
- W2103015061 hasRelatedWork W2087316813 @default.
- W2103015061 hasRelatedWork W2123724019 @default.
- W2103015061 hasRelatedWork W2184646728 @default.
- W2103015061 hasRelatedWork W2292068119 @default.
- W2103015061 hasRelatedWork W2441976789 @default.
- W2103015061 hasRelatedWork W2921973066 @default.
- W2103015061 hasRelatedWork W2950413930 @default.
- W2103015061 hasRelatedWork W2957164218 @default.
- W2103015061 hasRelatedWork W2964345891 @default.