{"id":"https://openalex.org/W4410483957","doi":"https://doi.org/10.1016/j.ic.2025.105312","title":"Probabilistic input-driven pushdown automata","display_name":"Probabilistic input-driven pushdown automata","publication_year":2025,"publication_date":"2025-05-19","ids":{"openalex":"https://openalex.org/W4410483957","doi":"https://doi.org/10.1016/j.ic.2025.105312"},"language":"en","primary_location":{"id":"doi:10.1016/j.ic.2025.105312","is_oa":false,"landing_page_url":"https://doi.org/10.1016/j.ic.2025.105312","pdf_url":null,"source":{"id":"https://openalex.org/S59933527","display_name":"Information and Computation","issn_l":"0890-5401","issn":["0890-5401","1090-2651"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Information and Computation","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/A5109007366","display_name":"Alex Rose","orcid":"https://orcid.org/0009-0001-3768-9011"},"institutions":[{"id":"https://openalex.org/I172901346","display_name":"St Petersburg University","ror":"https://ror.org/023znxa73","country_code":"RU","type":"education","lineage":["https://openalex.org/I172901346"]},{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["RU","US"],"is_corresponding":true,"raw_author_name":"Alex Rose","raw_affiliation_strings":["Department of Mathematics and Computer Science, St. Petersburg State University, 14th Line V. O., 29, Saint Petersburg 199034, Russia","Department of Mathematics, University of Pennsylvania, 209 South 33rd Street, Philadelphia, PA 19104-6395, USA"],"raw_orcid":"https://orcid.org/0009-0001-3768-9011","affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, St. Petersburg State University, 14th Line V. O., 29, Saint Petersburg 199034, Russia","institution_ids":["https://openalex.org/I172901346"]},{"raw_affiliation_string":"Department of Mathematics, University of Pennsylvania, 209 South 33rd Street, Philadelphia, PA 19104-6395, USA","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5005683089","display_name":"Alexander Okhotin","orcid":"https://orcid.org/0000-0002-1615-2725"},"institutions":[{"id":"https://openalex.org/I172901346","display_name":"St Petersburg University","ror":"https://ror.org/023znxa73","country_code":"RU","type":"education","lineage":["https://openalex.org/I172901346"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"Alexander Okhotin","raw_affiliation_strings":["Department of Mathematics and Computer Science, St. Petersburg State University, 14th Line V. O., 29, Saint Petersburg 199034, Russia"],"raw_orcid":"https://orcid.org/0000-0002-1615-2725","affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, St. Petersburg State University, 14th Line V. O., 29, Saint Petersburg 199034, Russia","institution_ids":["https://openalex.org/I172901346"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5005683089","https://openalex.org/A5109007366"],"corresponding_institution_ids":["https://openalex.org/I172901346","https://openalex.org/I79576946"],"apc_list":{"value":2630,"currency":"USD","value_usd":2630},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.11239858,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"305","issue":null,"first_page":"105312","last_page":"105312"},"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/T11269","display_name":"Algorithms and Data Compression","score":0.9994000196456909,"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"}},{"id":"https://openalex.org/T12029","display_name":"DNA and Biological Computing","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/embedded-pushdown-automaton","display_name":"Embedded pushdown automaton","score":0.8456025719642639},{"id":"https://openalex.org/keywords/pushdown-automaton","display_name":"Pushdown automaton","score":0.7287696003913879},{"id":"https://openalex.org/keywords/deterministic-context-free-grammar","display_name":"Deterministic context-free grammar","score":0.6714711785316467},{"id":"https://openalex.org/keywords/deterministic-pushdown-automaton","display_name":"Deterministic pushdown automaton","score":0.6348966360092163},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5434210300445557},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.5174701809883118},{"id":"https://openalex.org/keywords/nested-word","display_name":"Nested word","score":0.4692889153957367},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.35616016387939453},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3203003704547882},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2551857829093933},{"id":"https://openalex.org/keywords/quantum-finite-automata","display_name":"Quantum finite automata","score":0.15595757961273193},{"id":"https://openalex.org/keywords/automata-theory","display_name":"Automata theory","score":0.1345035433769226},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.11511093378067017},{"id":"https://openalex.org/keywords/nondeterministic-finite-automaton","display_name":"Nondeterministic finite automaton","score":0.08195674419403076},{"id":"https://openalex.org/keywords/context-free-grammar","display_name":"Context-free grammar","score":0.050690293312072754},{"id":"https://openalex.org/keywords/parsing","display_name":"Parsing","score":0.04972785711288452},{"id":"https://openalex.org/keywords/tree-adjoining-grammar","display_name":"Tree-adjoining grammar","score":0.03833281993865967}],"concepts":[{"id":"https://openalex.org/C27034413","wikidata":"https://www.wikidata.org/wiki/Q5370010","display_name":"Embedded pushdown automaton","level":5,"score":0.8456025719642639},{"id":"https://openalex.org/C77944639","wikidata":"https://www.wikidata.org/wiki/Q751443","display_name":"Pushdown automaton","level":3,"score":0.7287696003913879},{"id":"https://openalex.org/C177638518","wikidata":"https://www.wikidata.org/wiki/Q3435975","display_name":"Deterministic context-free grammar","level":5,"score":0.6714711785316467},{"id":"https://openalex.org/C74919329","wikidata":"https://www.wikidata.org/wiki/Q378713","display_name":"Deterministic pushdown automaton","level":5,"score":0.6348966360092163},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5434210300445557},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.5174701809883118},{"id":"https://openalex.org/C92117001","wikidata":"https://www.wikidata.org/wiki/Q6997829","display_name":"Nested word","level":5,"score":0.4692889153957367},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.35616016387939453},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3203003704547882},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2551857829093933},{"id":"https://openalex.org/C174327141","wikidata":"https://www.wikidata.org/wiki/Q176837","display_name":"Quantum finite automata","level":4,"score":0.15595757961273193},{"id":"https://openalex.org/C116248031","wikidata":"https://www.wikidata.org/wiki/Q214526","display_name":"Automata theory","level":3,"score":0.1345035433769226},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.11511093378067017},{"id":"https://openalex.org/C158008952","wikidata":"https://www.wikidata.org/wiki/Q617295","display_name":"Nondeterministic finite automaton","level":4,"score":0.08195674419403076},{"id":"https://openalex.org/C97212296","wikidata":"https://www.wikidata.org/wiki/Q338047","display_name":"Context-free grammar","level":3,"score":0.050690293312072754},{"id":"https://openalex.org/C186644900","wikidata":"https://www.wikidata.org/wiki/Q194152","display_name":"Parsing","level":2,"score":0.04972785711288452},{"id":"https://openalex.org/C134083981","wikidata":"https://www.wikidata.org/wiki/Q1754022","display_name":"Tree-adjoining grammar","level":4,"score":0.03833281993865967}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/j.ic.2025.105312","is_oa":false,"landing_page_url":"https://doi.org/10.1016/j.ic.2025.105312","pdf_url":null,"source":{"id":"https://openalex.org/S59933527","display_name":"Information and Computation","issn_l":"0890-5401","issn":["0890-5401","1090-2651"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Information and Computation","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2199791005","display_name":null,"funder_award_id":"23-11-00133","funder_id":"https://openalex.org/F4320324099","funder_display_name":"Russian Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320324099","display_name":"Russian Science Foundation","ror":"https://ror.org/03y2gwe85"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https://openalex.org/W76234803","https://openalex.org/W297978594","https://openalex.org/W1508670740","https://openalex.org/W1736435620","https://openalex.org/W1987971864","https://openalex.org/W1997780458","https://openalex.org/W2004312423","https://openalex.org/W2079567772","https://openalex.org/W2081260821","https://openalex.org/W2131886132","https://openalex.org/W2140852079","https://openalex.org/W2398173151","https://openalex.org/W2612632438","https://openalex.org/W2612939675","https://openalex.org/W2734182388","https://openalex.org/W2754370965","https://openalex.org/W2913449033","https://openalex.org/W2962756432","https://openalex.org/W4212875940","https://openalex.org/W4213269876","https://openalex.org/W4213338968","https://openalex.org/W4214703603","https://openalex.org/W4297994063","https://openalex.org/W6603082930","https://openalex.org/W6632177543","https://openalex.org/W6632808327","https://openalex.org/W6638315057","https://openalex.org/W6680587329","https://openalex.org/W6682415088","https://openalex.org/W6728700022","https://openalex.org/W6742440024","https://openalex.org/W6745803238","https://openalex.org/W6746002762","https://openalex.org/W6785136601","https://openalex.org/W6791361738","https://openalex.org/W6797089734","https://openalex.org/W6803108104","https://openalex.org/W6865287263"],"related_works":["https://openalex.org/W392685101","https://openalex.org/W1991406344","https://openalex.org/W2067895928","https://openalex.org/W127918926","https://openalex.org/W2012479020","https://openalex.org/W2472752294","https://openalex.org/W2025957242","https://openalex.org/W2171067235","https://openalex.org/W1578195976","https://openalex.org/W2522490152"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-06-14T06:11:07.267592","created_date":"2025-10-10T00:00:00"}