{"id":"https://openalex.org/W2027842302","doi":"https://doi.org/10.1002/scj.4690200602","title":"Probabilistic automata push\u2010down","display_name":"Probabilistic automata push\u2010down","publication_year":1989,"publication_date":"1989-01-01","ids":{"openalex":"https://openalex.org/W2027842302","doi":"https://doi.org/10.1002/scj.4690200602","mag":"2027842302"},"language":"en","primary_location":{"id":"doi:10.1002/scj.4690200602","is_oa":false,"landing_page_url":"https://doi.org/10.1002/scj.4690200602","pdf_url":null,"source":{"id":"https://openalex.org/S58208175","display_name":"Systems and Computers in Japan","issn_l":"0882-1666","issn":["0882-1666","1520-684X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Systems and Computers in Japan","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101483230","display_name":"Zhi\u2010Zhong Chen","orcid":"https://orcid.org/0000-0003-3061-1171"},"institutions":[{"id":"https://openalex.org/I20529979","display_name":"University of Electro-Communications","ror":"https://ror.org/02x73b849","country_code":"JP","type":"education","lineage":["https://openalex.org/I20529979"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Zhi\u2010Zhong Chen","raw_affiliation_strings":["Faculty of Electro-Communication, The University of Electro-Communication, Chofu, Japan 182","Zhi-Zhong Chen graduated in 1985 from Dept. Computer Sci., Fac. Eng., North-Western Telecommunication Engineering Institute, China. He joined the Dept. Computer Sci., Elect. Comm., Univ. Elect. Comm. in 1987. He is interested in the automaton theory, complexity theory, cryptography, and algorithmic analysis"],"affiliations":[{"raw_affiliation_string":"Faculty of Electro-Communication, The University of Electro-Communication, Chofu, Japan 182","institution_ids":["https://openalex.org/I20529979"]},{"raw_affiliation_string":"Zhi-Zhong Chen graduated in 1985 from Dept. Computer Sci., Fac. Eng., North-Western Telecommunication Engineering Institute, China. He joined the Dept. Computer Sci., Elect. Comm., Univ. Elect. Comm. in 1987. He is interested in the automaton theory, complexity theory, cryptography, and algorithmic analysis","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5110384616","display_name":"Takumi Kasai","orcid":null},"institutions":[{"id":"https://openalex.org/I20529979","display_name":"University of Electro-Communications","ror":"https://ror.org/02x73b849","country_code":"JP","type":"education","lineage":["https://openalex.org/I20529979"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Takumi Kasai","raw_affiliation_strings":["Faculty of Electro-Communication, The University of Electro-Communication, Chofu, Japan 182","Takumi Kasai graduated in 1969 from Dept. Math., Fac. Sci., Waseda University, obtained a Master's degree from there in 1971, and later a Dr. of Sci. degree. He was an Assistant in the Lab. Math. Anal., Kyoto University, and Assoc. Prof. in 1980 at the University of Elect. Comm. He is engaged in research on complexity theory, automaton theory, and cryptography"],"affiliations":[{"raw_affiliation_string":"Faculty of Electro-Communication, The University of Electro-Communication, Chofu, Japan 182","institution_ids":["https://openalex.org/I20529979"]},{"raw_affiliation_string":"Takumi Kasai graduated in 1969 from Dept. Math., Fac. Sci., Waseda University, obtained a Master's degree from there in 1971, and later a Dr. of Sci. degree. He was an Assistant in the Lab. Math. Anal., Kyoto University, and Assoc. Prof. in 1980 at the University of Elect. Comm. He is engaged in research on complexity theory, automaton theory, and cryptography","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5101483230"],"corresponding_institution_ids":["https://openalex.org/I20529979"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.16291213,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"20","issue":"6","first_page":"11","last_page":"20"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.843143105506897},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.6203519105911255},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.5712109804153442},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5468903183937073},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5357515215873718},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4796912372112274},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.45137089490890503},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3817666172981262},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.1378021538257599},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.08419987559318542},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.07323938608169556}],"concepts":[{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.843143105506897},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.6203519105911255},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.5712109804153442},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5468903183937073},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5357515215873718},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4796912372112274},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.45137089490890503},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3817666172981262},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.1378021538257599},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08419987559318542},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.07323938608169556},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/scj.4690200602","is_oa":false,"landing_page_url":"https://doi.org/10.1002/scj.4690200602","pdf_url":null,"source":{"id":"https://openalex.org/S58208175","display_name":"Systems and Computers in Japan","issn_l":"0882-1666","issn":["0882-1666","1520-684X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Systems and Computers in Japan","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","score":0.46000000834465027,"display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1560512928","https://openalex.org/W1964053266","https://openalex.org/W1967159037","https://openalex.org/W1983093782","https://openalex.org/W1999384241","https://openalex.org/W2005440350","https://openalex.org/W2007643787","https://openalex.org/W2010706856","https://openalex.org/W2012539169","https://openalex.org/W2034943218","https://openalex.org/W2056352038","https://openalex.org/W2059442002","https://openalex.org/W2061496873","https://openalex.org/W2080132708","https://openalex.org/W2088366690","https://openalex.org/W3144970573","https://openalex.org/W3148821415","https://openalex.org/W4212875940","https://openalex.org/W4389332571"],"related_works":["https://openalex.org/W2278329956","https://openalex.org/W1996880246","https://openalex.org/W3008777928","https://openalex.org/W3149394920","https://openalex.org/W2950416039","https://openalex.org/W1517042805","https://openalex.org/W1597181838","https://openalex.org/W2898732469","https://openalex.org/W1555347172","https://openalex.org/W1629505938"],"abstract_inverted_index":{"Abstract":[0],"This":[1],"paper":[2],"discusses":[3],"the":[4,8,24,28,35,38,41,61,78,100,108,115,119,128,131,137,147,162,165],"basic":[5],"properties":[6],"of":[7,27,37,82,91,110,121,133,139,164],"probabilistic":[9,21],"push\u2010down":[10,30],"automaton":[11,31],"(PPDA).":[12],"Intuitively":[13],"speaking,":[14],"PPDA":[15,44,97,113],"is":[16,45,64,98,159],"obtained":[17],"by":[18,94,105],"adding":[19],"a":[20,48,52,134],"property":[22,36],"to":[23,34,76,143],"nondeterministic":[25,29],"transition":[26],"(NPDA).":[32],"According":[33],"error":[39,50,54,58,63,96,112,117],"in":[40,161],"accepting":[42],"condition,":[43],"classified":[46],"into":[47],"two\u2010sided":[49,111],"PPDA,":[51,55,118,136],"one\u2010sided":[53,135],"and":[56,114],"bounded":[57,95,116],"PPDA.":[59],"Moreover,":[60],"acception":[62],"considered":[65],"not":[66,99,125],"only":[67],"for":[68,72],"1/2,":[69],"but":[70],"also":[71],"an":[73,154],"arbitrary":[74],"cut\u2010point,":[75],"discuss":[77],"relations":[79],"among":[80],"classes":[81],"languages.":[83],"Major":[84],"results":[85],"are":[86],"as":[87,102],"follows.":[88],"The":[89],"class":[90,120,138],"languages":[92,123,141],"accepted":[93,104],"same":[101],"that":[103],"NPDA.":[106],"In":[107,130,149],"case":[109,132],"acceptable":[122,140],"does":[124],"depend":[126],"on":[127,146],"cut\u2010point.":[129,148],"depends":[142],"some":[144],"extent":[145],"other":[150],"words,":[151],"there":[152],"exists":[153],"infinite":[155],"hierarchy.":[156],"Kolmogorov":[157],"complexity":[158],"used":[160],"proof":[163],"major":[166],"theorem.":[167]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}