Matches in SemOpenAlex for { <https://semopenalex.org/work/W1979404111> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1979404111 abstract "The recognition power of two-way probabilistic finite-state automata (2PFAs) is studied. It is shown that any 2PFA recognizing a nonregular language must use exponential expected time infinitely often. The power of interactive proof systems (IPSs) where the verifier is a 2PFA is also investigated. It is shown that (1) IPSs in which the verifier uses private randomization are strictly more powerful than IPSs in which the random choices of the verifier are made public to the prover. (2) IPSs in which the verifier uses public randomization are strictly more powerful than 2PFAs alone, that is, without a prover; (3) every language accepted by some deterministic Turing machine in exponential time can be accepted by some IPS. Other results concern IPSs with 2PFA verifiers that run in polynomial expected time.< <ETX xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>></ETX>" @default.
- W1979404111 created "2016-06-24" @default.
- W1979404111 creator A5011820318 @default.
- W1979404111 creator A5052607926 @default.
- W1979404111 date "1989-01-01" @default.
- W1979404111 modified "2023-09-23" @default.
- W1979404111 title "On the power of 2-way probabilistic finite state automata" @default.
- W1979404111 cites W1521651075 @default.
- W1979404111 cites W1528588003 @default.
- W1979404111 cites W1971842919 @default.
- W1979404111 cites W1978405212 @default.
- W1979404111 cites W1984976620 @default.
- W1979404111 cites W2054801208 @default.
- W1979404111 cites W2070598115 @default.
- W1979404111 cites W2073696431 @default.
- W1979404111 cites W2090921231 @default.
- W1979404111 cites W2092977061 @default.
- W1979404111 cites W2096390054 @default.
- W1979404111 cites W2121572683 @default.
- W1979404111 cites W2144752539 @default.
- W1979404111 cites W2156037486 @default.
- W1979404111 cites W2161979183 @default.
- W1979404111 cites W2413932230 @default.
- W1979404111 doi "https://doi.org/10.1109/sfcs.1989.63522" @default.
- W1979404111 hasPublicationYear "1989" @default.
- W1979404111 type Work @default.
- W1979404111 sameAs 1979404111 @default.
- W1979404111 citedByCount "17" @default.
- W1979404111 countsByYear W19794041112012 @default.
- W1979404111 countsByYear W19794041112013 @default.
- W1979404111 countsByYear W19794041112014 @default.
- W1979404111 crossrefType "proceedings-article" @default.
- W1979404111 hasAuthorship W1979404111A5011820318 @default.
- W1979404111 hasAuthorship W1979404111A5052607926 @default.
- W1979404111 hasConcept C108710211 @default.
- W1979404111 hasConcept C112505250 @default.
- W1979404111 hasConcept C11413529 @default.
- W1979404111 hasConcept C118615104 @default.
- W1979404111 hasConcept C134306372 @default.
- W1979404111 hasConcept C141071460 @default.
- W1979404111 hasConcept C151376022 @default.
- W1979404111 hasConcept C154945302 @default.
- W1979404111 hasConcept C159718280 @default.
- W1979404111 hasConcept C167822520 @default.
- W1979404111 hasConcept C168563851 @default.
- W1979404111 hasConcept C204243189 @default.
- W1979404111 hasConcept C2524010 @default.
- W1979404111 hasConcept C33923547 @default.
- W1979404111 hasConcept C41008148 @default.
- W1979404111 hasConcept C49937458 @default.
- W1979404111 hasConcept C71924100 @default.
- W1979404111 hasConcept C80444323 @default.
- W1979404111 hasConceptScore W1979404111C108710211 @default.
- W1979404111 hasConceptScore W1979404111C112505250 @default.
- W1979404111 hasConceptScore W1979404111C11413529 @default.
- W1979404111 hasConceptScore W1979404111C118615104 @default.
- W1979404111 hasConceptScore W1979404111C134306372 @default.
- W1979404111 hasConceptScore W1979404111C141071460 @default.
- W1979404111 hasConceptScore W1979404111C151376022 @default.
- W1979404111 hasConceptScore W1979404111C154945302 @default.
- W1979404111 hasConceptScore W1979404111C159718280 @default.
- W1979404111 hasConceptScore W1979404111C167822520 @default.
- W1979404111 hasConceptScore W1979404111C168563851 @default.
- W1979404111 hasConceptScore W1979404111C204243189 @default.
- W1979404111 hasConceptScore W1979404111C2524010 @default.
- W1979404111 hasConceptScore W1979404111C33923547 @default.
- W1979404111 hasConceptScore W1979404111C41008148 @default.
- W1979404111 hasConceptScore W1979404111C49937458 @default.
- W1979404111 hasConceptScore W1979404111C71924100 @default.
- W1979404111 hasConceptScore W1979404111C80444323 @default.
- W1979404111 hasLocation W19794041111 @default.
- W1979404111 hasOpenAccess W1979404111 @default.
- W1979404111 hasPrimaryLocation W19794041111 @default.
- W1979404111 hasRelatedWork W1762969849 @default.
- W1979404111 hasRelatedWork W1979390054 @default.
- W1979404111 hasRelatedWork W1988501450 @default.
- W1979404111 hasRelatedWork W2044753318 @default.
- W1979404111 hasRelatedWork W2076986528 @default.
- W1979404111 hasRelatedWork W2159449605 @default.
- W1979404111 hasRelatedWork W2340524846 @default.
- W1979404111 hasRelatedWork W3039941228 @default.
- W1979404111 hasRelatedWork W3095160120 @default.
- W1979404111 hasRelatedWork W4287742608 @default.
- W1979404111 isParatext "false" @default.
- W1979404111 isRetracted "false" @default.
- W1979404111 magId "1979404111" @default.
- W1979404111 workType "article" @default.