Matches in SemOpenAlex for { <https://semopenalex.org/work/W2893448252> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2893448252 endingPage "95" @default.
- W2893448252 startingPage "70" @default.
- W2893448252 abstract "Abstract k-Hierarchical probabilistic automata (HPA) are probabilistic automata whose states are partitioned into k + 1 levels such that for any state and input symbol, at most one transition goes to a state at the same level, and others go to higher level states. We show that 1-HPA, with acceptance threshold 1/2 (in the finite and infinite word cases) can recognize non-regular languages, and the non-emptiness and non-universality problems for 1-HPA with threshold 1/2 are decidable in EXPTIME and are PSPACE-hard. We present a new sufficient condition when 1-HPA recognize regular languages. We show that the emptiness problem is undecidable for 2-HPAs." @default.
- W2893448252 created "2018-10-05" @default.
- W2893448252 creator A5012852827 @default.
- W2893448252 creator A5035821371 @default.
- W2893448252 creator A5068396440 @default.
- W2893448252 creator A5076852218 @default.
- W2893448252 date "2019-03-01" @default.
- W2893448252 modified "2023-10-17" @default.
- W2893448252 title "Decidable and expressive classes of probabilistic automata" @default.
- W2893448252 cites W1968642103 @default.
- W2893448252 cites W1972203711 @default.
- W2893448252 cites W1988501450 @default.
- W2893448252 cites W2002385864 @default.
- W2893448252 cites W2114554615 @default.
- W2893448252 cites W2135776689 @default.
- W2893448252 cites W2400132119 @default.
- W2893448252 cites W4212875940 @default.
- W2893448252 doi "https://doi.org/10.1016/j.jcss.2018.09.002" @default.
- W2893448252 hasPublicationYear "2019" @default.
- W2893448252 type Work @default.
- W2893448252 sameAs 2893448252 @default.
- W2893448252 citedByCount "0" @default.
- W2893448252 crossrefType "journal-article" @default.
- W2893448252 hasAuthorship W2893448252A5012852827 @default.
- W2893448252 hasAuthorship W2893448252A5035821371 @default.
- W2893448252 hasAuthorship W2893448252A5068396440 @default.
- W2893448252 hasAuthorship W2893448252A5076852218 @default.
- W2893448252 hasBestOaLocation W28934482521 @default.
- W2893448252 hasConcept C112505250 @default.
- W2893448252 hasConcept C118615104 @default.
- W2893448252 hasConcept C153269930 @default.
- W2893448252 hasConcept C154945302 @default.
- W2893448252 hasConcept C33923547 @default.
- W2893448252 hasConcept C41008148 @default.
- W2893448252 hasConcept C49937458 @default.
- W2893448252 hasConcept C80444323 @default.
- W2893448252 hasConceptScore W2893448252C112505250 @default.
- W2893448252 hasConceptScore W2893448252C118615104 @default.
- W2893448252 hasConceptScore W2893448252C153269930 @default.
- W2893448252 hasConceptScore W2893448252C154945302 @default.
- W2893448252 hasConceptScore W2893448252C33923547 @default.
- W2893448252 hasConceptScore W2893448252C41008148 @default.
- W2893448252 hasConceptScore W2893448252C49937458 @default.
- W2893448252 hasConceptScore W2893448252C80444323 @default.
- W2893448252 hasFunder F4320306076 @default.
- W2893448252 hasLocation W28934482521 @default.
- W2893448252 hasOpenAccess W2893448252 @default.
- W2893448252 hasPrimaryLocation W28934482521 @default.
- W2893448252 hasRelatedWork W1504187169 @default.
- W2893448252 hasRelatedWork W1516852392 @default.
- W2893448252 hasRelatedWork W153904579 @default.
- W2893448252 hasRelatedWork W1582302366 @default.
- W2893448252 hasRelatedWork W1944241544 @default.
- W2893448252 hasRelatedWork W2020335855 @default.
- W2893448252 hasRelatedWork W2123911196 @default.
- W2893448252 hasRelatedWork W2785950294 @default.
- W2893448252 hasRelatedWork W4300118318 @default.
- W2893448252 hasRelatedWork W598495120 @default.
- W2893448252 hasVolume "100" @default.
- W2893448252 isParatext "false" @default.
- W2893448252 isRetracted "false" @default.
- W2893448252 magId "2893448252" @default.
- W2893448252 workType "article" @default.