{"id":"https://openalex.org/W2609770111","doi":"https://doi.org/10.1142/9789813148208_0010","title":"CSP for Parallelising Brzozowski\u2019s DFA Construction Algorithm","display_name":"CSP for Parallelising Brzozowski\u2019s DFA Construction Algorithm","publication_year":2017,"publication_date":"2017-04-24","ids":{"openalex":"https://openalex.org/W2609770111","doi":"https://doi.org/10.1142/9789813148208_0010","mag":"2609770111"},"language":"en","primary_location":{"id":"doi:10.1142/9789813148208_0010","is_oa":false,"landing_page_url":"https://doi.org/10.1142/9789813148208_0010","pdf_url":null,"source":{"id":"https://openalex.org/S4306464320","display_name":"WORLD SCIENTIFIC eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"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":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Role of Theory in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","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/A5037337926","display_name":"Tinus Strauss","orcid":null},"institutions":[{"id":"https://openalex.org/I69552723","display_name":"University of Pretoria","ror":"https://ror.org/00g0p6g84","country_code":"ZA","type":"education","lineage":["https://openalex.org/I69552723"]}],"countries":["ZA"],"is_corresponding":false,"raw_author_name":"Tinus Strauss","raw_affiliation_strings":["FASTAR Research Group, University of Pretoria, South Africa"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"FASTAR Research Group, University of Pretoria, South Africa","institution_ids":["https://openalex.org/I69552723"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027422026","display_name":"Bruce W. Watson","orcid":"https://orcid.org/0000-0003-0511-1837"},"institutions":[{"id":"https://openalex.org/I26092322","display_name":"Stellenbosch University","ror":"https://ror.org/05bk57929","country_code":"ZA","type":"education","lineage":["https://openalex.org/I26092322"]}],"countries":["ZA"],"is_corresponding":false,"raw_author_name":"Bruce W. Watson","raw_affiliation_strings":["CAIR Research Group, CSIR, South Africa","FASTAR Research Group, Dept. of Information Science, Stellenbosch University, South Africa","FASTAR Research Group, Dept. of Information Science, Stellenbosch University, South AfricaCAIR Research Group, CSIR, South Africa"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CAIR Research Group, CSIR, South Africa","institution_ids":[]},{"raw_affiliation_string":"FASTAR Research Group, Dept. of Information Science, Stellenbosch University, South Africa","institution_ids":["https://openalex.org/I26092322"]},{"raw_affiliation_string":"FASTAR Research Group, Dept. of Information Science, Stellenbosch University, South AfricaCAIR Research Group, CSIR, South Africa","institution_ids":["https://openalex.org/I26092322"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5106185216","display_name":"Derrick G. Kourie","orcid":null},"institutions":[{"id":"https://openalex.org/I26092322","display_name":"Stellenbosch University","ror":"https://ror.org/05bk57929","country_code":"ZA","type":"education","lineage":["https://openalex.org/I26092322"]}],"countries":["ZA"],"is_corresponding":false,"raw_author_name":"Derrick G. Kourie","raw_affiliation_strings":["CAIR Research Group, CSIR, South Africa","FASTAR Research Group, Dept. of Information Science, Stellenbosch University, South Africa","FASTAR Research Group, Dept. of Information Science, Stellenbosch University, South AfricaCAIR Research Group, CSIR, South Africa"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CAIR Research Group, CSIR, South Africa","institution_ids":[]},{"raw_affiliation_string":"FASTAR Research Group, Dept. of Information Science, Stellenbosch University, South Africa","institution_ids":["https://openalex.org/I26092322"]},{"raw_affiliation_string":"FASTAR Research Group, Dept. of Information Science, Stellenbosch University, South AfricaCAIR Research Group, CSIR, South Africa","institution_ids":["https://openalex.org/I26092322"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5043799147","display_name":"Loek Cleophas","orcid":"https://orcid.org/0000-0002-7221-3676"},"institutions":[{"id":"https://openalex.org/I26092322","display_name":"Stellenbosch University","ror":"https://ror.org/05bk57929","country_code":"ZA","type":"education","lineage":["https://openalex.org/I26092322"]},{"id":"https://openalex.org/I90267481","display_name":"Ume\u00e5 University","ror":"https://ror.org/05kb8h459","country_code":"SE","type":"education","lineage":["https://openalex.org/I90267481"]}],"countries":["SE","ZA"],"is_corresponding":false,"raw_author_name":"Loek Cleophas","raw_affiliation_strings":["FASTAR Research Group, Dept. of Information Science, Stellenbosch University, South Africa","Foundations of Language Processing Group, Ume\u00e5 University, Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"FASTAR Research Group, Dept. of Information Science, Stellenbosch University, South Africa","institution_ids":["https://openalex.org/I26092322"]},{"raw_affiliation_string":"Foundations of Language Processing Group, Ume\u00e5 University, Sweden","institution_ids":["https://openalex.org/I90267481"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.09025815,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"217","last_page":"243"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9878000020980835,"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/T10142","display_name":"Formal Methods in Verification","score":0.9878000020980835,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9624999761581421,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9307000041007996,"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/computer-science","display_name":"Computer science","score":0.6590617299079895},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.45981913805007935}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6590617299079895},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.45981913805007935}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1142/9789813148208_0010","is_oa":false,"landing_page_url":"https://doi.org/10.1142/9789813148208_0010","pdf_url":null,"source":{"id":"https://openalex.org/S4306464320","display_name":"WORLD SCIENTIFIC eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"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":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Role of Theory in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:pure.tue.nl:openaire_cris_publications/f6201f3b-4fde-487b-a96f-506efb108e2a","is_oa":false,"landing_page_url":"https://research.tue.nl/en/publications/f6201f3b-4fde-487b-a96f-506efb108e2a","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Strauss, T, Watson, B W, Kourie, D G & Cleophas, L G W A 2017, CSP for parallelising Brzozowski's DFA construction algorithm. in The Role of Theory in Computer Science : Essays Dedicated to Janusz Brzozowski. World Scientific, s.l., pp. 217-244. https://doi.org/10.1142/9789813148208_0010","raw_type":"info:eu-repo/semantics/bookPart"},{"id":"pmh:tue:oai:pure.tue.nl:publications/f6201f3b-4fde-487b-a96f-506efb108e2a","is_oa":false,"landing_page_url":"https://research.tue.nl/nl/publications/f6201f3b-4fde-487b-a96f-506efb108e2a","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"The Role of Theory in Computer Science : Essays Dedicated to Janusz Brzozowski, 217 - 244","raw_type":"info:eu-repo/semantics/bookpart"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2051487156","https://openalex.org/W2073681303","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2317200988","https://openalex.org/W2376932109","https://openalex.org/W2382290278","https://openalex.org/W2350741829"],"abstract_inverted_index":{"CSP,":[0],"a":[1,37,81],"simple":[2],"and":[3,91],"elegant":[4],"process":[5,68],"algebra,":[6],"is":[7,87],"used":[8],"to":[9,33,36,76],"specify":[10],"five":[11],"successive":[12],"parallel":[13,82],"versions":[14,28,51],"of":[15,63,67],"Brzozowski\u2019s":[16],"sequential":[17],"algorithm":[18,89],"for":[19,46,70],"constructing":[20],"deterministic":[21],"finite":[22],"automata":[23],"from":[24],"regular":[25],"expressions.":[26],"Early":[27],"were":[29],"not":[30,92],"sufficiently":[31],"mature":[32],"easily":[34],"map":[35],"programming":[38],"language.":[39],"However,":[40],"each":[41],"version":[42],"exposed":[43],"new":[44],"possibilities":[45],"refinement":[47],"so":[48],"that":[49],"later":[50],"could":[52],"subsequently":[53],"be":[54],"implemented":[55],"(in":[56],"Go).":[57],"The":[58,84],"exercise":[59],"illustrates":[60],"the":[61,64,94],"value":[62],"lightweight":[65],"use":[66],"algebras":[69],"supporting":[71],"abstract":[72],"thinking":[73],"when":[74],"attempting":[75],"solve":[77],"computational":[78],"problems":[79],"in":[80],"fashion.":[83],"emphasis":[85],"here":[86],"on":[88,93],"specification":[90],"implementation.":[95]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}