{"id":"https://openalex.org/W2036890855","doi":"https://doi.org/10.1145/800119.803885","title":"Computational parallels between the regular and context-free languages","display_name":"Computational parallels between the regular and context-free languages","publication_year":1974,"publication_date":"1974-01-01","ids":{"openalex":"https://openalex.org/W2036890855","doi":"https://doi.org/10.1145/800119.803885","mag":"2036890855"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/800119.803885","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/800119.803885","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"proceedings-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/800119.803885","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5086835651","display_name":"Harry B. Hunt","orcid":null},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"funder","lineage":["https://openalex.org/I20089843"]},{"id":"https://openalex.org/I1332737386","display_name":"General Electric (United States)","ror":"https://ror.org/013msgt25","country_code":"US","type":"funder","lineage":["https://openalex.org/I1332737386"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"H. B. Hunt","raw_affiliation_strings":["Dept. of Electrical Engineering Princeton University Princeton, New Jersey","General Electric Research & Development Center Schenectady, New York"],"affiliations":[{"raw_affiliation_string":"Dept. of Electrical Engineering Princeton University Princeton, New Jersey","institution_ids":["https://openalex.org/I20089843"]},{"raw_affiliation_string":"General Electric Research & Development Center Schenectady, New York","institution_ids":["https://openalex.org/I1332737386"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5009388396","display_name":"Daniel J. Rosenkrantz","orcid":"https://orcid.org/0000-0002-7044-0197"},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"funder","lineage":["https://openalex.org/I20089843"]},{"id":"https://openalex.org/I1332737386","display_name":"General Electric (United States)","ror":"https://ror.org/013msgt25","country_code":"US","type":"funder","lineage":["https://openalex.org/I1332737386"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"D. J. Rosenkrantz","raw_affiliation_strings":["Dept. of Electrical Engineering Princeton University Princeton, New Jersey","General Electric Research & Development Center Schenectady, New York"],"affiliations":[{"raw_affiliation_string":"Dept. of Electrical Engineering Princeton University Princeton, New Jersey","institution_ids":["https://openalex.org/I20089843"]},{"raw_affiliation_string":"General Electric Research & Development Center Schenectady, New York","institution_ids":["https://openalex.org/I1332737386"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.318,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":16,"citation_normalized_percentile":{"value":0.703704,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":86,"max":87},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9999,"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.9999,"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.9979,"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.9976,"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":[],"concepts":[{"id":"https://openalex.org/C2775922551","wikidata":"https://www.wikidata.org/wiki/Q7135033","display_name":"Parallels","level":2,"score":0.9331865},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.69452},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.57298946},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.44771117},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35796064},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.3471151},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.13412476},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11215946},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/800119.803885","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/800119.803885","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/800119.803885","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/800119.803885","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[{"display_name":"Quality education","score":0.58,"id":"https://metadata.un.org/sdg/4"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":37,"referenced_works":["https://openalex.org/W137331784","https://openalex.org/W1508780728","https://openalex.org/W1562818191","https://openalex.org/W1950256591","https://openalex.org/W1963587568","https://openalex.org/W1972613240","https://openalex.org/W1983423379","https://openalex.org/W1998084650","https://openalex.org/W2009215937","https://openalex.org/W2011725207","https://openalex.org/W2012525080","https://openalex.org/W2016601857","https://openalex.org/W2020570874","https://openalex.org/W2027529581","https://openalex.org/W2028140996","https://openalex.org/W2031897634","https://openalex.org/W2035216379","https://openalex.org/W2036890855","https://openalex.org/W2038612549","https://openalex.org/W2048808408","https://openalex.org/W2066256384","https://openalex.org/W2066306723","https://openalex.org/W2070015363","https://openalex.org/W2094274619","https://openalex.org/W2099683082","https://openalex.org/W2101036675","https://openalex.org/W2117832390","https://openalex.org/W2148224873","https://openalex.org/W2149547738","https://openalex.org/W2252957295","https://openalex.org/W2294348221","https://openalex.org/W2536615479","https://openalex.org/W2538148032","https://openalex.org/W2544643567","https://openalex.org/W2545845195","https://openalex.org/W299519334","https://openalex.org/W587223573"],"related_works":["https://openalex.org/W4243252198","https://openalex.org/W4235530921","https://openalex.org/W3160540747","https://openalex.org/W3137189469","https://openalex.org/W2740990710","https://openalex.org/W2135396778","https://openalex.org/W2118300983","https://openalex.org/W2109507516","https://openalex.org/W1527862632","https://openalex.org/W1491366424"],"abstract_inverted_index":{"This":[0],"paper":[1],"presents":[2],"a":[3,110,187],"complexity":[4,105],"theory":[5],"of":[6,15,30,43,65,106,132,145,174,232,241],"formal":[7],"languages.":[8,242],"The":[9],"main":[10],"technique":[11],"used":[12,80,149],"is":[13,34,113,120,148,207],"that":[14,186,200],"embedding":[16,213],"\u201c={0,1}*\u201d,":[17],"\u201c=0*\u201d,":[18],"and":[19,92,101,212],"\u201c=\u03c6\u201d":[20],"into":[21,196,216],"other":[22,217,239],"linguistic":[23],"predicates.":[24],"In":[25,48,127,164,181,228],"Section":[26,49,66,86,128,165,182,229],"2,":[27],"the":[28,41,46,51,78,83,90,104,117,130,143,146,204,220,233],"undecidability":[29,42],"\u201c={0,1}*\u201d":[31,206],"for":[32,40,95,159,170,210],"cfl's":[33],"exploited":[35],"to":[36,56,63,70,81,109,115,134,150,178,238],"provide":[37],"sufficient":[38],"conditions":[39,61],"predicates":[44,169,218],"on":[45,77,89,155,219],"cfl's.":[47,96],"3,":[50],"same":[52],"techniques":[53],"are":[54,68,140,176,236],"applied":[55],"regular":[57,84,99],"sets.":[58,85,163],"Predicates":[59],"satisfying":[60],"similar":[62],"those":[64],"2":[67],"shown":[69,177],"be":[71,179,191],"hard,":[72],"where":[73],"how":[74],"hard":[75],"depends":[76],"descriptors":[79],"enumerate":[82],"4":[87],"concentrates":[88],"equivalence":[91,108],"containment":[93],"problems":[94,158],"For":[97],"cfl's,":[98,103],"sets,":[100],"linear":[102],"determining":[107],"fixed":[111,118],"language":[112,119],"linked":[114],"whether":[116],"finite,":[121],"infinite":[122],"but":[123],"bounded,":[124],"or":[125],"unbounded.":[126],"5,":[129],"ability":[131],"cfg's":[133,160],"generate":[135],"finite":[136,162],"languages":[137,175],"whose":[138],"strings":[139],"exponential":[141,152],"in":[142,193,208],"size":[144],"grammar":[147],"obtain":[151],"lower":[153,226],"bounds":[154],"several":[156],"decidable":[157],"generating":[161],"6,":[166],"all":[167],"nontrivial":[168],"certain":[171],"specific":[172],"classes":[173],"hard.":[180],"7,":[183],"we":[184],"show":[185],"dpda":[188,199],"can":[189],"always":[190,201],"converted":[192],"polynomial":[194],"time":[195],"an":[197],"equivalent":[198],"halts.":[202],"Therefore":[203],"predicate":[205],"P":[209],"dpda's,":[211],"this":[214],"problem":[215],"dpda's":[221],"will":[222],"not":[223],"yield":[224],"nonpolynomial":[225],"bounds.":[227],"8,":[230],"some":[231],"preceding":[234],"results":[235],"generalized":[237],"families":[240]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2036890855","counts_by_year":[{"year":2013,"cited_by_count":1}],"updated_date":"2025-01-26T02:53:03.271184","created_date":"2016-06-24"}