{"id":"https://openalex.org/W1987901451","doi":"https://doi.org/10.1137/0207030","title":"Generalized Syntax Directed Translation, Tree Transducers, and Linear Space","display_name":"Generalized Syntax Directed Translation, Tree Transducers, and Linear Space","publication_year":1978,"publication_date":"1978-08-01","ids":{"openalex":"https://openalex.org/W1987901451","doi":"https://doi.org/10.1137/0207030","mag":"1987901451"},"language":"en","primary_location":{"id":"doi:10.1137/0207030","is_oa":false,"landing_page_url":"https://doi.org/10.1137/0207030","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","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/A5108392571","display_name":"Brenda S. Baker","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Brenda S. Baker","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5108392571"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.687,"has_fulltext":false,"cited_by_count":30,"citation_normalized_percentile":{"value":0.93134745,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"7","issue":"3","first_page":"376","last_page":"391"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":1.0,"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":1.0,"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/T12029","display_name":"DNA and Biological Computing","score":0.9994999766349792,"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"}},{"id":"https://openalex.org/T11269","display_name":"Algorithms and Data Compression","score":0.9973000288009644,"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/turing-machine","display_name":"Turing machine","score":0.6728344559669495},{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.6569839119911194},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.5837885737419128},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5276378989219666},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5272435545921326},{"id":"https://openalex.org/keywords/translation","display_name":"Translation (biology)","score":0.490071177482605},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4843117296695709},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4803289473056793},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.4799902141094208},{"id":"https://openalex.org/keywords/abstract-syntax-tree","display_name":"Abstract syntax tree","score":0.4468477964401245},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.4446728825569153},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.44115546345710754},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.43937546014785767},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.34799158573150635},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2883355915546417},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2012699544429779}],"concepts":[{"id":"https://openalex.org/C29248071","wikidata":"https://www.wikidata.org/wiki/Q163310","display_name":"Turing machine","level":3,"score":0.6728344559669495},{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.6569839119911194},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.5837885737419128},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5276378989219666},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5272435545921326},{"id":"https://openalex.org/C149364088","wikidata":"https://www.wikidata.org/wiki/Q185917","display_name":"Translation (biology)","level":4,"score":0.490071177482605},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4843117296695709},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4803289473056793},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.4799902141094208},{"id":"https://openalex.org/C58646249","wikidata":"https://www.wikidata.org/wiki/Q127380","display_name":"Abstract syntax tree","level":3,"score":0.4468477964401245},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4446728825569153},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.44115546345710754},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.43937546014785767},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34799158573150635},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2883355915546417},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2012699544429779},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C105580179","wikidata":"https://www.wikidata.org/wiki/Q188928","display_name":"Messenger RNA","level":3,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1137/0207030","is_oa":false,"landing_page_url":"https://doi.org/10.1137/0207030","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W1963587568","https://openalex.org/W1984256985","https://openalex.org/W1987709131","https://openalex.org/W1994891006","https://openalex.org/W2014144140","https://openalex.org/W2015873307","https://openalex.org/W2035020702","https://openalex.org/W2036750617","https://openalex.org/W2065459019","https://openalex.org/W2073663206","https://openalex.org/W2076749875","https://openalex.org/W2086722931"],"related_works":["https://openalex.org/W2077104824","https://openalex.org/W2536864162","https://openalex.org/W2390421503","https://openalex.org/W1533028283","https://openalex.org/W2095633838","https://openalex.org/W2060032524","https://openalex.org/W2364428493","https://openalex.org/W1988549452","https://openalex.org/W2023968088","https://openalex.org/W2773378563"],"abstract_inverted_index":{"When":[0],"trees":[1,21,23,28,109],"are":[2,10],"denoted":[3],"by":[4,72],"\u201cterms\u201d":[5],"or":[6],"\u201cparenthesized":[7],"expressions\u201d,":[8],"which":[9,19,76,83],"strings,":[11],"the":[12,30,33,43,89,92,99,103,111,124],"class":[13],"of":[14,38,42,48,80,91,102,105,108,113,126],"top-down":[15,65,115],"tree":[16,66],"transducers":[17],"(automata":[18],"map":[20],"into":[22],"and":[24,50,62,94],"read":[25],"their":[26],"input":[27,93],"from":[29],"root":[31],"toward":[32],"leaves)":[34],"form":[35],"a":[36,39,73],"subclass":[37],"nondeterministic":[40,57],"version":[41],"generalized":[44],"syntax":[45,58],"directed":[46,59],"translations":[47],"Aho":[49],"Ullman.":[51],"It":[52],"is":[53,84,117],"shown":[54,118],"that":[55],"every":[56,64,97],"translation":[60],"(NGSDT),":[61],"therefore":[63],"transduction,":[67],"can":[68],"be":[69,120],"carried":[70],"out":[71],"Turing":[74],"machine":[75],"uses":[77],"an":[78],"amount":[79],"work":[81],"space":[82],"linear":[85],"with":[86],"respect":[87],"to":[88,119],"size":[90],"output.":[95],"For":[96],"n,":[98],"family":[100,125],"consisting":[101],"images":[104],"recognizable":[106],"sets":[107],"under":[110],"composition":[112],"n":[114],"transductions":[116],"properly":[121],"contained":[122],"in":[123],"deterministic":[127],"context-sensitive":[128],"languages.":[129]},"counts_by_year":[{"year":2019,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}