{"id":"https://openalex.org/W2758021196","doi":"https://doi.org/10.15439/2017f249","title":"Properties and Limits of Supercombinator Set Acquired from Context-free Grammar Samples","display_name":"Properties and Limits of Supercombinator Set Acquired from Context-free Grammar Samples","publication_year":2017,"publication_date":"2017-09-24","ids":{"openalex":"https://openalex.org/W2758021196","doi":"https://doi.org/10.15439/2017f249","mag":"2758021196"},"language":"en","primary_location":{"id":"doi:10.15439/2017f249","is_oa":true,"landing_page_url":"https://doi.org/10.15439/2017f249","pdf_url":"https://annals-csis.org/proceedings/2017/drp/pdf/249.pdf","source":{"id":"https://openalex.org/S4220651875","display_name":"Annals of Computer Science and Information Systems","issn_l":"2300-5963","issn":["2300-5963"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":"https://openalex.org/P4310317484","host_organization_name":"Polskie Towarzystwo Informatyczne","host_organization_lineage":["https://openalex.org/P4310317484"],"host_organization_lineage_names":["Polskie Towarzystwo Informatyczne"],"type":"conference"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Computer Science and Information Systems","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://annals-csis.org/proceedings/2017/drp/pdf/249.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5037051905","display_name":"Michal Si\u010d\u00e1k","orcid":null},"institutions":[{"id":"https://openalex.org/I183764125","display_name":"Technical University of Ko\u0161ice","ror":"https://ror.org/05xm08015","country_code":"SK","type":"education","lineage":["https://openalex.org/I183764125"]}],"countries":["SK"],"is_corresponding":true,"raw_author_name":"Michal Si\u010d\u00e1k","raw_affiliation_strings":["Technical University of Ko\u0161ice, Department of Computers and Informatics Letn\u00e1 9, 042 01 Ko\u0161ice, Slovakia"],"affiliations":[{"raw_affiliation_string":"Technical University of Ko\u0161ice, Department of Computers and Informatics Letn\u00e1 9, 042 01 Ko\u0161ice, Slovakia","institution_ids":["https://openalex.org/I183764125"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5113487256","display_name":"J\u00e1n Koll\u00e1r","orcid":null},"institutions":[{"id":"https://openalex.org/I183764125","display_name":"Technical University of Ko\u0161ice","ror":"https://ror.org/05xm08015","country_code":"SK","type":"education","lineage":["https://openalex.org/I183764125"]}],"countries":["SK"],"is_corresponding":false,"raw_author_name":"J\u00e1n Koll\u00e1r","raw_affiliation_strings":["Technical University of Ko\u0161ice, Department of Computers and Informatics Letn\u00e1 9, 042 01 Ko\u0161ice, Slovakia"],"affiliations":[{"raw_affiliation_string":"Technical University of Ko\u0161ice, Department of Computers and Informatics Letn\u00e1 9, 042 01 Ko\u0161ice, Slovakia","institution_ids":["https://openalex.org/I183764125"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5037051905"],"corresponding_institution_ids":["https://openalex.org/I183764125"],"apc_list":null,"apc_paid":null,"fwci":0.2077,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.54372624,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"11","issue":null,"first_page":"711","last_page":"720"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9990000128746033,"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"}},"topics":[{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9990000128746033,"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/T11269","display_name":"Algorithms and Data Compression","score":0.9986000061035156,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.9983999729156494,"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/limit","display_name":"Limit (mathematics)","score":0.6655585169792175},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6531254053115845},{"id":"https://openalex.org/keywords/regular-tree-grammar","display_name":"Regular tree grammar","score":0.6335342526435852},{"id":"https://openalex.org/keywords/redundancy","display_name":"Redundancy (engineering)","score":0.6315909624099731},{"id":"https://openalex.org/keywords/grammar","display_name":"Grammar","score":0.5549896359443665},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5452464818954468},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.5051913857460022},{"id":"https://openalex.org/keywords/rule-based-machine-translation","display_name":"Rule-based machine translation","score":0.4968767464160919},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.4872399866580963},{"id":"https://openalex.org/keywords/mildly-context-sensitive-grammar-formalism","display_name":"Mildly context-sensitive grammar formalism","score":0.4835948348045349},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4650697708129883},{"id":"https://openalex.org/keywords/context-free-grammar","display_name":"Context-free grammar","score":0.44534486532211304},{"id":"https://openalex.org/keywords/operator-precedence-grammar","display_name":"Operator-precedence grammar","score":0.43328186869621277},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.42931067943573},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.37372827529907227},{"id":"https://openalex.org/keywords/affix-grammar","display_name":"Affix grammar","score":0.3573716878890991},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.30434244871139526},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.30063068866729736},{"id":"https://openalex.org/keywords/generative-grammar","display_name":"Generative grammar","score":0.17421674728393555},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.15744918584823608},{"id":"https://openalex.org/keywords/phrase-structure-rules","display_name":"Phrase structure rules","score":0.15510088205337524},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.09728848934173584}],"concepts":[{"id":"https://openalex.org/C151201525","wikidata":"https://www.wikidata.org/wiki/Q177239","display_name":"Limit (mathematics)","level":2,"score":0.6655585169792175},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6531254053115845},{"id":"https://openalex.org/C57097763","wikidata":"https://www.wikidata.org/wiki/Q7309622","display_name":"Regular tree grammar","level":5,"score":0.6335342526435852},{"id":"https://openalex.org/C152124472","wikidata":"https://www.wikidata.org/wiki/Q1204361","display_name":"Redundancy (engineering)","level":2,"score":0.6315909624099731},{"id":"https://openalex.org/C26022165","wikidata":"https://www.wikidata.org/wiki/Q8091","display_name":"Grammar","level":2,"score":0.5549896359443665},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5452464818954468},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.5051913857460022},{"id":"https://openalex.org/C53893814","wikidata":"https://www.wikidata.org/wiki/Q7378909","display_name":"Rule-based machine translation","level":2,"score":0.4968767464160919},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.4872399866580963},{"id":"https://openalex.org/C172265290","wikidata":"https://www.wikidata.org/wiki/Q6134957","display_name":"Mildly context-sensitive grammar formalism","level":4,"score":0.4835948348045349},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4650697708129883},{"id":"https://openalex.org/C97212296","wikidata":"https://www.wikidata.org/wiki/Q338047","display_name":"Context-free grammar","level":3,"score":0.44534486532211304},{"id":"https://openalex.org/C131232501","wikidata":"https://www.wikidata.org/wiki/Q3113343","display_name":"Operator-precedence grammar","level":4,"score":0.43328186869621277},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.42931067943573},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37372827529907227},{"id":"https://openalex.org/C80364944","wikidata":"https://www.wikidata.org/wiki/Q4689005","display_name":"Affix grammar","level":3,"score":0.3573716878890991},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.30434244871139526},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.30063068866729736},{"id":"https://openalex.org/C39890363","wikidata":"https://www.wikidata.org/wiki/Q36108","display_name":"Generative grammar","level":2,"score":0.17421674728393555},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.15744918584823608},{"id":"https://openalex.org/C80877019","wikidata":"https://www.wikidata.org/wiki/Q7188074","display_name":"Phrase structure rules","level":3,"score":0.15510088205337524},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.09728848934173584},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"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/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"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/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"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/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"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.15439/2017f249","is_oa":true,"landing_page_url":"https://doi.org/10.15439/2017f249","pdf_url":"https://annals-csis.org/proceedings/2017/drp/pdf/249.pdf","source":{"id":"https://openalex.org/S4220651875","display_name":"Annals of Computer Science and Information Systems","issn_l":"2300-5963","issn":["2300-5963"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":"https://openalex.org/P4310317484","host_organization_name":"Polskie Towarzystwo Informatyczne","host_organization_lineage":["https://openalex.org/P4310317484"],"host_organization_lineage_names":["Polskie Towarzystwo Informatyczne"],"type":"conference"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Computer Science and Information Systems","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.15439/2017f249","is_oa":true,"landing_page_url":"https://doi.org/10.15439/2017f249","pdf_url":"https://annals-csis.org/proceedings/2017/drp/pdf/249.pdf","source":{"id":"https://openalex.org/S4220651875","display_name":"Annals of Computer Science and Information Systems","issn_l":"2300-5963","issn":["2300-5963"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":"https://openalex.org/P4310317484","host_organization_name":"Polskie Towarzystwo Informatyczne","host_organization_lineage":["https://openalex.org/P4310317484"],"host_organization_lineage_names":["Polskie Towarzystwo Informatyczne"],"type":"conference"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Computer Science and Information Systems","raw_type":"proceedings-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","score":0.7200000286102295,"display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2758021196.pdf","grobid_xml":"https://content.openalex.org/works/W2758021196.grobid-xml"},"referenced_works_count":25,"referenced_works":["https://openalex.org/W1502742190","https://openalex.org/W1580552967","https://openalex.org/W1602885842","https://openalex.org/W1820754082","https://openalex.org/W1915509830","https://openalex.org/W1919301070","https://openalex.org/W1969005071","https://openalex.org/W2014459598","https://openalex.org/W2034950432","https://openalex.org/W2073262318","https://openalex.org/W2080728147","https://openalex.org/W2085014646","https://openalex.org/W2091891018","https://openalex.org/W2100151927","https://openalex.org/W2105686649","https://openalex.org/W2120437191","https://openalex.org/W2125386157","https://openalex.org/W2250741443","https://openalex.org/W2262849816","https://openalex.org/W2526571883","https://openalex.org/W2526649226","https://openalex.org/W4230831576","https://openalex.org/W4400137299","https://openalex.org/W6678363495","https://openalex.org/W6692381407"],"related_works":["https://openalex.org/W2134685785","https://openalex.org/W2126134344","https://openalex.org/W142785929","https://openalex.org/W1481260321","https://openalex.org/W2774000399","https://openalex.org/W2058685095","https://openalex.org/W1493727861","https://openalex.org/W1561207435","https://openalex.org/W2018349540","https://openalex.org/W2110447197"],"abstract_inverted_index":{"We":[0,43,61,98,131],"present":[1,62],"an":[2],"improved":[3],"version":[4],"of":[5,23,36,86,124,136,143],"algorithm":[6],"that":[7,27,47,78,100,109],"can":[8],"transform":[9],"any":[10],"context-free":[11],"grammar":[12,31],"into":[13,127],"a":[14,18,82,92],"supercombinator":[15,53,125],"form.":[16],"Such":[17],"form":[19,38,80],"is":[20,91,140],"composed":[21],"only":[22],"lambda":[24],"calculus'":[25],"supercombinators":[26],"are":[28,39,105],"enriched":[29],"by":[30,69],"operations.":[32],"The":[33],"main":[34],"properties":[35],"this":[37],"non-redundancy":[40],"and":[41,119],"scalability.":[42],"show":[44,99],"the":[45,122,128,141,148],"improvements":[46],"we've":[48],"made":[49],"to":[50,107],"create":[51],"smaller":[52],"set":[54],"than":[55],"in":[56,101,147],"our":[57,79,137],"previous":[58],"algorithm's":[59],"version.":[60],"experiments":[63],"performed":[64],"on":[65],"Context-free":[66],"grammars":[67],"obtained":[68],"transformation":[70],"from":[71],"Groningen":[72],"meaning":[73],"bank":[74],"corpus.":[75],"Experiments":[76],"confirm":[77],"has":[81],"theoretical":[83],"maximum":[84],"limit":[85,90,110,121],"possible":[87],"supercombinators.":[88],"That":[89],"mathematical":[93],"sequence":[94],"called":[95],"Catalan":[96],"number.":[97],"some":[102],"cases":[103],"we":[104,112,120],"able":[106],"reach":[108],"if":[111],"use":[113],"large":[114],"enough":[115],"input":[116,149],"data":[117],"source":[118],"size":[123],"permitted":[126],"final":[129],"set.":[130,150],"also":[132],"describe":[133],"another":[134],"benefit":[135],"algorithm,":[138],"which":[139],"identification":[142],"most":[144],"reoccurring":[145],"structures":[146]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}