{"id":"https://openalex.org/W4403341864","doi":"https://doi.org/10.1142/s0129054124430044","title":"Language Acceptors with a Pushdown: Characterizations and Complexity","display_name":"Language Acceptors with a Pushdown: Characterizations and Complexity","publication_year":2024,"publication_date":"2024-10-10","ids":{"openalex":"https://openalex.org/W4403341864","doi":"https://doi.org/10.1142/s0129054124430044"},"language":"en","primary_location":{"id":"doi:10.1142/s0129054124430044","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0129054124430044","pdf_url":null,"source":{"id":"https://openalex.org/S68047077","display_name":"International Journal of Foundations of Computer Science","issn_l":"0129-0541","issn":["0129-0541","1793-6373"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Foundations of Computer Science","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/A5110211208","display_name":"\u00d3scar H. Ibarra","orcid":null},"institutions":[{"id":"https://openalex.org/I154570441","display_name":"University of California, Santa Barbara","ror":"https://ror.org/02t274463","country_code":"US","type":"education","lineage":["https://openalex.org/I154570441"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Oscar H. Ibarra","raw_affiliation_strings":["Department of Computer Science, University of California, Santa Barbara, CA 93106, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of California, Santa Barbara, CA 93106, USA","institution_ids":["https://openalex.org/I154570441"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5040385755","display_name":"Ian McQuillan","orcid":"https://orcid.org/0000-0002-7998-4430"},"institutions":[{"id":"https://openalex.org/I32625721","display_name":"University of Saskatchewan","ror":"https://ror.org/010x8gc63","country_code":"CA","type":"education","lineage":["https://openalex.org/I32625721"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Ian McQuillan","raw_affiliation_strings":["Department of Computer Science, University of Saskatchewan, Saskatoon, SK S7N 5C9, Canada"],"raw_orcid":"https://orcid.org/0000-0002-7998-4430","affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Saskatchewan, Saskatoon, SK S7N 5C9, Canada","institution_ids":["https://openalex.org/I32625721"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5110211208"],"corresponding_institution_ids":["https://openalex.org/I154570441"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.27480508,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"36","issue":"03","first_page":"345","last_page":"370"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12090","display_name":"Language and cultural evolution","score":0.7752000093460083,"subfield":{"id":"https://openalex.org/subfields/3316","display_name":"Cultural Studies"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T12090","display_name":"Language and cultural evolution","score":0.7752000093460083,"subfield":{"id":"https://openalex.org/subfields/3316","display_name":"Cultural Studies"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10181","display_name":"Natural Language Processing Techniques","score":0.7282000184059143,"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/T11640","display_name":"Linguistic Variation and Morphology","score":0.6757000088691711,"subfield":{"id":"https://openalex.org/subfields/3310","display_name":"Linguistics and Language"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5696529746055603},{"id":"https://openalex.org/keywords/pushdown-automaton","display_name":"Pushdown automaton","score":0.5508869886398315},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4384618401527405},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.37218740582466125},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.32438063621520996},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3231014013290405},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.07945704460144043}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5696529746055603},{"id":"https://openalex.org/C77944639","wikidata":"https://www.wikidata.org/wiki/Q751443","display_name":"Pushdown automaton","level":3,"score":0.5508869886398315},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4384618401527405},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37218740582466125},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.32438063621520996},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3231014013290405},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.07945704460144043}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s0129054124430044","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0129054124430044","pdf_url":null,"source":{"id":"https://openalex.org/S68047077","display_name":"International Journal of Foundations of Computer Science","issn_l":"0129-0541","issn":["0129-0541","1793-6373"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Foundations of Computer Science","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4529972973","display_name":null,"funder_award_id":"2022-05092","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"}],"funders":[{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W147131300","https://openalex.org/W1511257926","https://openalex.org/W1534530104","https://openalex.org/W1968529600","https://openalex.org/W1979876920","https://openalex.org/W1989382950","https://openalex.org/W1994385456","https://openalex.org/W1999647826","https://openalex.org/W2006891919","https://openalex.org/W2009215937","https://openalex.org/W2023999667","https://openalex.org/W2029408153","https://openalex.org/W2043456730","https://openalex.org/W2065579926","https://openalex.org/W2076858908","https://openalex.org/W2079275582","https://openalex.org/W2089236668","https://openalex.org/W2532500577","https://openalex.org/W2811459629","https://openalex.org/W2922460544","https://openalex.org/W4366547923","https://openalex.org/W4386143380"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W4307896660","https://openalex.org/W1979853884","https://openalex.org/W2610206531","https://openalex.org/W2775461463","https://openalex.org/W2002663600","https://openalex.org/W2078131135","https://openalex.org/W4231088732","https://openalex.org/W2604798101","https://openalex.org/W2015619699"],"abstract_inverted_index":{"We":[0,31,75,128],"study":[1],"one-way":[2],"nondeterministic":[3,55],"pushdown":[4,14,17,37,42,183],"automata":[5,15,18,43,57],"([Formula:":[6,58],"see":[7,59,70,101,110,121,126,153,172,176],"text]),":[8,60],"optionally":[9],"with":[10,19,45,72,104,155],"reversal-bounded":[11,46,73,105,156],"counters.":[12,47,74],"Finite-turn":[13],"are":[16,107,118],"a":[20,150,160,188],"bound":[21],"on":[22],"the":[23,62,78,82,85,113,116,132,182],"number":[24,164,190],"of":[25,53,67,84,135,165,191],"switches":[26],"between":[27],"pushing":[28],"and":[29,39,61,123],"popping.":[30],"give":[32],"new":[33],"characterizations":[34,79],"for":[35,40],"finite-turn":[36,41,99],"automata,":[38],"augmented":[44,103],"The":[48],"first":[49],"is":[50,64,169],"in":[51,65,108,119,124,170],"terms":[52,66],"multi-tape":[54,68],"finite":[56],"second":[63],"[Formula:":[69,100,109,120,125,152,171,175],"text]":[71,102,122,154,173],"then":[76],"use":[77],"to":[80],"determine":[81],"complexity":[83,134],"languages":[86,96,117,136],"defined":[87],"by":[88,98,138,149],"these":[89],"automata.":[90],"In":[91,141],"particular,":[92,142],"we":[93,143],"show":[94,144],"that":[95,145,158],"accepted":[97,137,148],"counters":[106,157],"text].":[111,127],"For":[112],"non-finite-turn":[114],"case,":[115],"also":[129],"look":[130],"at":[131],"space":[133],"two-way":[139,151],"machines.":[140],"every":[146],"language":[147],"makes":[159],"polynomial":[161],"(resp.,":[162,174],"exponential)":[163],"input":[166],"head":[167],"reversals":[168],"text]).":[177],"This":[178],"remains":[179],"true":[180],"if":[181],"can":[184],"flip":[185],"its":[186],"contents":[187],"bounded":[189],"times.":[192]},"counts_by_year":[],"updated_date":"2025-12-27T23:08:20.325037","created_date":"2025-10-10T00:00:00"}