{"id":"https://openalex.org/W2075277056","doi":"https://doi.org/10.1002/scj.4690200605","title":"Membership problem for head languages and multiple context\u2010free languages","display_name":"Membership problem for head languages and multiple context\u2010free languages","publication_year":1989,"publication_date":"1989-01-01","ids":{"openalex":"https://openalex.org/W2075277056","doi":"https://doi.org/10.1002/scj.4690200605","mag":"2075277056"},"language":"en","primary_location":{"id":"doi:10.1002/scj.4690200605","is_oa":false,"landing_page_url":"https://doi.org/10.1002/scj.4690200605","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/A5108359594","display_name":"Tadao Kasami","orcid":null},"institutions":[{"id":"https://openalex.org/I98285908","display_name":"Osaka University","ror":"https://ror.org/035t8zc32","country_code":"JP","type":"education","lineage":["https://openalex.org/I98285908"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Tadao Kasami","raw_affiliation_strings":["Faculty of Engineering Science, Osaka University, Toyonaka, Japan 560","Tadao Kasami graduated in 1958 from the Dept. Comm. Eng., Fac. Eng., Osaka University, and obtained a Dr. of Eng. degree from there in 1963. From 1963 to 1966 he was an Assoc. Prof. in Dept. Electronic Eng., Fac. Eng., and from 1966 to 1970 a Professor in Dept. Contr. Eng., Fac. Eng. Sci. Since 1970, he has been a Professor in the Dept. Inf. and Comp. Sci., Fac. Eng. Sci. He was a Visiting Assoc. Prof. at the Univ. of Hawaii and the Univ. of Illinois from 1964 to 1966, and again a Visiting Prof. at the Univ. of Hawaii in 1970"],"affiliations":[{"raw_affiliation_string":"Faculty of Engineering Science, Osaka University, Toyonaka, Japan 560","institution_ids":["https://openalex.org/I98285908"]},{"raw_affiliation_string":"Tadao Kasami graduated in 1958 from the Dept. Comm. Eng., Fac. Eng., Osaka University, and obtained a Dr. of Eng. degree from there in 1963. From 1963 to 1966 he was an Assoc. Prof. in Dept. Electronic Eng., Fac. Eng., and from 1966 to 1970 a Professor in Dept. Contr. Eng., Fac. Eng. Sci. Since 1970, he has been a Professor in the Dept. Inf. and Comp. Sci., Fac. Eng. Sci. He was a Visiting Assoc. Prof. at the Univ. of Hawaii and the Univ. of Illinois from 1964 to 1966, and again a Visiting Prof. at the Univ. of Hawaii in 1970","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018228908","display_name":"Hiroyuki Seki","orcid":"https://orcid.org/0000-0003-2001-7507"},"institutions":[{"id":"https://openalex.org/I98285908","display_name":"Osaka University","ror":"https://ror.org/035t8zc32","country_code":"JP","type":"education","lineage":["https://openalex.org/I98285908"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Hiroyuki Seki","raw_affiliation_strings":["Faculty of Engineering Science, Osaka University, Toyonaka, Japan 560","Hiroyuki Seki graduated in 1982 from the Dept. Inf. and Comp. Sci., Fac. Eng. Sci., Osaka University, and obtained a Dr. of Eng. degree from there in 1987. Presently, he is an Assistant in the Dept. Inf. and Comp. Sci., Fac. Eng. Sci., Osaka University"],"affiliations":[{"raw_affiliation_string":"Faculty of Engineering Science, Osaka University, Toyonaka, Japan 560","institution_ids":["https://openalex.org/I98285908"]},{"raw_affiliation_string":"Hiroyuki Seki graduated in 1982 from the Dept. Inf. and Comp. Sci., Fac. Eng. Sci., Osaka University, and obtained a Dr. of Eng. degree from there in 1987. Presently, he is an Assistant in the Dept. Inf. and Comp. Sci., Fac. Eng. Sci., Osaka University","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102352814","display_name":"Mamoru Fujii","orcid":null},"institutions":[{"id":"https://openalex.org/I98285908","display_name":"Osaka University","ror":"https://ror.org/035t8zc32","country_code":"JP","type":"education","lineage":["https://openalex.org/I98285908"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Mamoru Fujii","raw_affiliation_strings":["Faculty of Engineering Science, Osaka University, Toyonaka, Japan 560","Mamoru Fujii graduated in 1962 from the Dept. Electronic Eng., Fac. Eng., Osaka University, and obtained a Master's degree from there in 1964. Later, he obtained a Dr. of Eng. degree and affiliated with Mitsubishi Electric Corp. He became an Assistant in 1967 and a Lecturer in 1971 in the Dept. Contr. Eng., Fac. Eng. Sci., Osaka University. Since 1971, he has been affiliated with the Computation Center of Osaka University. He was an Assoc. Prof. from 1976 to 1987 at the Computation Center, Osaka University. Since 1987 he has been an Assoc. Prof. in the Dept. Inf. and Comp. Sci., Fac. Eng. Sci., Osaka University"],"affiliations":[{"raw_affiliation_string":"Faculty of Engineering Science, Osaka University, Toyonaka, Japan 560","institution_ids":["https://openalex.org/I98285908"]},{"raw_affiliation_string":"Mamoru Fujii graduated in 1962 from the Dept. Electronic Eng., Fac. Eng., Osaka University, and obtained a Master's degree from there in 1964. Later, he obtained a Dr. of Eng. degree and affiliated with Mitsubishi Electric Corp. He became an Assistant in 1967 and a Lecturer in 1971 in the Dept. Contr. Eng., Fac. Eng. Sci., Osaka University. Since 1971, he has been affiliated with the Computation Center of Osaka University. He was an Assoc. Prof. from 1976 to 1987 at the Computation Center, Osaka University. Since 1987 he has been an Assoc. Prof. in the Dept. Inf. and Comp. Sci., Fac. Eng. Sci., Osaka University","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5108359594"],"corresponding_institution_ids":["https://openalex.org/I98285908"],"apc_list":null,"apc_paid":null,"fwci":0.45992785,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.63041489,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"20","issue":"6","first_page":"43","last_page":"51"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9983999729156494,"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.9983999729156494,"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.998199999332428,"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.957099974155426,"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/context-sensitive-grammar","display_name":"Context-sensitive grammar","score":0.8022059202194214},{"id":"https://openalex.org/keywords/tree-adjoining-grammar","display_name":"Tree-adjoining grammar","score":0.7469600439071655},{"id":"https://openalex.org/keywords/rule-based-machine-translation","display_name":"Rule-based machine translation","score":0.7013605833053589},{"id":"https://openalex.org/keywords/indexed-grammar","display_name":"Indexed grammar","score":0.6535312533378601},{"id":"https://openalex.org/keywords/context-free-grammar","display_name":"Context-free grammar","score":0.6390147805213928},{"id":"https://openalex.org/keywords/corollary","display_name":"Corollary","score":0.6315041780471802},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6209964752197266},{"id":"https://openalex.org/keywords/generative-grammar","display_name":"Generative grammar","score":0.5918154120445251},{"id":"https://openalex.org/keywords/phrase-structure-grammar","display_name":"Phrase structure grammar","score":0.5771914124488831},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.5324059128761292},{"id":"https://openalex.org/keywords/head","display_name":"Head (geology)","score":0.5120911598205566},{"id":"https://openalex.org/keywords/extended-affix-grammar","display_name":"Extended Affix Grammar","score":0.5050581097602844},{"id":"https://openalex.org/keywords/definite-clause-grammar","display_name":"Definite clause grammar","score":0.4981653690338135},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.47015050053596497},{"id":"https://openalex.org/keywords/l-attributed-grammar","display_name":"L-attributed grammar","score":0.4524206221103668},{"id":"https://openalex.org/keywords/context-free-language","display_name":"Context-free language","score":0.44747939705848694},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4091565012931824},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.38528433442115784},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.34914907813072205},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.34366583824157715},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.2578296661376953}],"concepts":[{"id":"https://openalex.org/C125950753","wikidata":"https://www.wikidata.org/wiki/Q908674","display_name":"Context-sensitive grammar","level":4,"score":0.8022059202194214},{"id":"https://openalex.org/C134083981","wikidata":"https://www.wikidata.org/wiki/Q1754022","display_name":"Tree-adjoining grammar","level":4,"score":0.7469600439071655},{"id":"https://openalex.org/C53893814","wikidata":"https://www.wikidata.org/wiki/Q7378909","display_name":"Rule-based machine translation","level":2,"score":0.7013605833053589},{"id":"https://openalex.org/C79243999","wikidata":"https://www.wikidata.org/wiki/Q6590011","display_name":"Indexed grammar","level":5,"score":0.6535312533378601},{"id":"https://openalex.org/C97212296","wikidata":"https://www.wikidata.org/wiki/Q338047","display_name":"Context-free grammar","level":3,"score":0.6390147805213928},{"id":"https://openalex.org/C2780012671","wikidata":"https://www.wikidata.org/wiki/Q1343870","display_name":"Corollary","level":2,"score":0.6315041780471802},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6209964752197266},{"id":"https://openalex.org/C39890363","wikidata":"https://www.wikidata.org/wiki/Q36108","display_name":"Generative grammar","level":2,"score":0.5918154120445251},{"id":"https://openalex.org/C29184939","wikidata":"https://www.wikidata.org/wiki/Q1134367","display_name":"Phrase structure grammar","level":4,"score":0.5771914124488831},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.5324059128761292},{"id":"https://openalex.org/C2780312720","wikidata":"https://www.wikidata.org/wiki/Q5689100","display_name":"Head (geology)","level":2,"score":0.5120911598205566},{"id":"https://openalex.org/C37734731","wikidata":"https://www.wikidata.org/wiki/Q5421802","display_name":"Extended Affix Grammar","level":4,"score":0.5050581097602844},{"id":"https://openalex.org/C97169998","wikidata":"https://www.wikidata.org/wiki/Q1582738","display_name":"Definite clause grammar","level":5,"score":0.4981653690338135},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.47015050053596497},{"id":"https://openalex.org/C67621940","wikidata":"https://www.wikidata.org/wiki/Q3113340","display_name":"L-attributed grammar","level":4,"score":0.4524206221103668},{"id":"https://openalex.org/C198838072","wikidata":"https://www.wikidata.org/wiki/Q729271","display_name":"Context-free language","level":3,"score":0.44747939705848694},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4091565012931824},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.38528433442115784},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.34914907813072205},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.34366583824157715},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2578296661376953},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","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/C114793014","wikidata":"https://www.wikidata.org/wiki/Q52109","display_name":"Geomorphology","level":1,"score":0.0},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/scj.4690200605","is_oa":false,"landing_page_url":"https://doi.org/10.1002/scj.4690200605","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","display_name":"Quality Education","score":0.6800000071525574}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":3,"referenced_works":["https://openalex.org/W635073927","https://openalex.org/W2026015239","https://openalex.org/W4302339081"],"related_works":["https://openalex.org/W2403874525","https://openalex.org/W2918124307","https://openalex.org/W2007033444","https://openalex.org/W2792956200","https://openalex.org/W1608157979","https://openalex.org/W2153803459","https://openalex.org/W2012632856","https://openalex.org/W1998938240","https://openalex.org/W2188416243","https://openalex.org/W2124761490"],"abstract_inverted_index":{"Abstract":[0],"This":[1,97],"paper":[2],"considers":[3],"multiple":[4],"context\u2010free":[5,14,23],"grammars":[6,15,24,56,90],"(mcfg's)":[7],"which":[8],"inherit":[9],"the":[10,36,40,62,78,82,108],"basic":[11],"properties":[12],"of":[13,22,29,39,64,72,81,92,104],"with":[16,107],"generative":[17],"capacity":[18],"stronger":[19],"than":[20,27],"that":[21,28,35,54],"but":[25],"weaker":[26],"context\u2010sensitive":[30],"grammars.":[31],"It":[32,50],"is":[33,48,51,91,98],"shown":[34,52],"time":[37,79],"complexity":[38,80],"membership":[41,83],"problem":[42,84],"for":[43,60,85],"languages":[44,86],"generated":[45,87],"by":[46,58,88,101,110],"mcfg's":[47,73],"polynomial.":[49],"also":[53],"head":[55,89],"introduced":[57],"Pollard":[59],"describing":[61],"syntax":[63],"natural":[65],"language":[66],"correspond":[67],"to":[68],"a":[69,76],"special":[70],"subclass":[71],"and,":[74],"as":[75],"corollary,":[77],"order":[93,103],"n":[94],"6":[95],".*":[96],"an":[99],"improvement":[100],"one":[102],"magnitude,":[105],"compared":[106],"result":[109],"Pollard.":[111]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}