{"id":"https://openalex.org/W1994122595","doi":"https://doi.org/10.1142/s0129054103002138","title":"COUNTING THE NUMBER OF MINIMAL DFCA OBTAINED BY MERGING STATES","display_name":"COUNTING THE NUMBER OF MINIMAL DFCA OBTAINED BY MERGING STATES","publication_year":2003,"publication_date":"2003-12-01","ids":{"openalex":"https://openalex.org/W1994122595","doi":"https://doi.org/10.1142/s0129054103002138","mag":"1994122595"},"language":"en","primary_location":{"id":"doi:10.1142/s0129054103002138","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0129054103002138","pdf_url":null,"source":{"id":"https://openalex.org/S68047077","display_name":"International Journal of Foundations of Computer Science","issn_l":"0129-0541","issn":["0129-0541","1793-6373"],"is_oa":false,"is_in_doaj":false,"is_core":true,"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Foundations of Computer Science","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/A5021282163","display_name":"Cezar C\u00e2mpeanu","orcid":"https://orcid.org/0000-0002-9777-3012"},"institutions":[{"id":"https://openalex.org/I22188714","display_name":"University of Prince Edward Island","ror":"https://ror.org/02xh9x144","country_code":"CA","type":"education","lineage":["https://openalex.org/I22188714"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"CEZAR C\u00c2MPEANU","raw_affiliation_strings":["Department of Mathematics and Computer Science,  University of Prince Edward Island, Charlottetown, Prince Edward Island,  C1A 4P3, Canada","Department of Mathematics and Computer Science, University of Prince Edward Island, Charlottetown, Prince Edward Island, C1A 4P3, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science,  University of Prince Edward Island, Charlottetown, Prince Edward Island,  C1A 4P3, Canada","institution_ids":["https://openalex.org/I22188714"]},{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of Prince Edward Island, Charlottetown, Prince Edward Island, C1A 4P3, Canada","institution_ids":["https://openalex.org/I22188714"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5018378071","display_name":"Andrei P\u0103un","orcid":"https://orcid.org/0000-0002-1644-8198"},"institutions":[{"id":"https://openalex.org/I125749732","display_name":"Western University","ror":"https://ror.org/02grkyz14","country_code":"CA","type":"education","lineage":["https://openalex.org/I125749732"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"ANDREI P\u0102UN","raw_affiliation_strings":["Department of Computer Science,  University of Western Ontario, London, Ontario, N6A 5B7, Canada","Department of Computer Science, University of Western Ontario, London, Ontario, N6A 5B7, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science,  University of Western Ontario, London, Ontario, N6A 5B7, Canada","institution_ids":["https://openalex.org/I125749732"]},{"raw_affiliation_string":"Department of Computer Science, University of Western Ontario, London, Ontario, N6A 5B7, Canada","institution_ids":["https://openalex.org/I125749732"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.4401,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.81079036,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"14","issue":"06","first_page":"995","last_page":"1006"},"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/T10911","display_name":"Chemical Synthesis and Analysis","score":0.9970999956130981,"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/T12029","display_name":"DNA and Biological Computing","score":0.9969000220298767,"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":[{"id":"https://openalex.org/keywords/unary-operation","display_name":"Unary operation","score":0.8618205785751343},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7732968330383301},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.7140147686004639},{"id":"https://openalex.org/keywords/deterministic-finite-automaton","display_name":"Deterministic finite automaton","score":0.6906605362892151},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.5725502967834473},{"id":"https://openalex.org/keywords/alphabet","display_name":"Alphabet","score":0.5464327931404114},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5416470170021057},{"id":"https://openalex.org/keywords/integer","display_name":"Integer (computer science)","score":0.44860461354255676},{"id":"https://openalex.org/keywords/nondeterministic-finite-automaton","display_name":"Nondeterministic finite automaton","score":0.4472118020057678},{"id":"https://openalex.org/keywords/quantum-finite-automata","display_name":"Quantum finite automata","score":0.44120365381240845},{"id":"https://openalex.org/keywords/regular-language","display_name":"Regular language","score":0.41188663244247437},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.40524736046791077},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.3998816907405853},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.21312758326530457},{"id":"https://openalex.org/keywords/automata-theory","display_name":"Automata theory","score":0.17467311024665833},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.09744036197662354},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.06583291292190552}],"concepts":[{"id":"https://openalex.org/C78023250","wikidata":"https://www.wikidata.org/wiki/Q657596","display_name":"Unary operation","level":2,"score":0.8618205785751343},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7732968330383301},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.7140147686004639},{"id":"https://openalex.org/C104091681","wikidata":"https://www.wikidata.org/wiki/Q837528","display_name":"Deterministic finite automaton","level":3,"score":0.6906605362892151},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.5725502967834473},{"id":"https://openalex.org/C112876837","wikidata":"https://www.wikidata.org/wiki/Q837518","display_name":"Alphabet","level":2,"score":0.5464327931404114},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5416470170021057},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.44860461354255676},{"id":"https://openalex.org/C158008952","wikidata":"https://www.wikidata.org/wiki/Q617295","display_name":"Nondeterministic finite automaton","level":4,"score":0.4472118020057678},{"id":"https://openalex.org/C174327141","wikidata":"https://www.wikidata.org/wiki/Q176837","display_name":"Quantum finite automata","level":4,"score":0.44120365381240845},{"id":"https://openalex.org/C52370388","wikidata":"https://www.wikidata.org/wiki/Q752532","display_name":"Regular language","level":3,"score":0.41188663244247437},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.40524736046791077},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.3998816907405853},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.21312758326530457},{"id":"https://openalex.org/C116248031","wikidata":"https://www.wikidata.org/wiki/Q214526","display_name":"Automata theory","level":3,"score":0.17467311024665833},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.09744036197662354},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.06583291292190552},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","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/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s0129054103002138","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0129054103002138","pdf_url":null,"source":{"id":"https://openalex.org/S68047077","display_name":"International Journal of Foundations of Computer Science","issn_l":"0129-0541","issn":["0129-0541","1793-6373"],"is_oa":false,"is_in_doaj":false,"is_core":true,"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Foundations of Computer Science","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":4,"referenced_works":["https://openalex.org/W1987322712","https://openalex.org/W1993598446","https://openalex.org/W4211010176","https://openalex.org/W4302339081"],"related_works":["https://openalex.org/W2407531803","https://openalex.org/W2772918710","https://openalex.org/W2619559442","https://openalex.org/W2037872771","https://openalex.org/W2095282951","https://openalex.org/W4308880995","https://openalex.org/W1987608226","https://openalex.org/W2136740376","https://openalex.org/W2168854371","https://openalex.org/W2394954760"],"abstract_inverted_index":{"Finite":[0,10],"Deterministic":[1,9],"Cover":[2],"Automata":[3,11],"(DFCA)":[4],"can":[5,28,62,126],"be":[6,63],"obtained":[7,64,141],"from":[8,65],"(DFA)":[12],"using":[13],"the":[14,34,38,42,56,75,79,93,136],"similarity":[15],"relation":[16],"and":[17,89,103],"a":[18,46,66,108,128],"method":[19],"of":[20,36,58,138],"merging":[21,37,74,143],"similar":[22,39,76,144],"states.":[23],"The":[24],"DFCA":[25,44,60,140],"minimization":[26],"procedure":[27],"yield":[29],"different":[30],"results":[31],"depending":[32],"on":[33],"order":[35],"states,":[40,133],"because":[41],"minimal":[43,59,68,129,139],"for":[45,86,99,107,119],"finite":[47],"language":[48],"is":[49,97,116],"in":[50,78,92],"general":[51],"not":[52],"unique.":[53],"We":[54,82,111],"count":[55],"number":[57,88,137],"that":[61,91,113],"given":[67,80,121],"DFA":[69,130],"with":[70,131],"n":[71,124,132],"states":[72,77,145],"by":[73,142],"DFA.":[81],"compute":[83],"an":[84,100],"upper-bound":[85,115],"this":[87,114,148],"prove":[90,112],"worst":[94],"case,":[95],"it":[96],"n-1":[98],"unary":[101],"alphabet,":[102],"[Formula:":[104],"see":[105],"text]":[106],"non-unary":[109],"alphabet.":[110],"reached,":[117],"i.e.,":[118],"any":[120],"positive":[122],"integer":[123],"one":[125],"construct":[127],"which":[134],"has":[135],"equal":[146],"to":[147],"maximum":[149],"expression.":[150]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}