乐胖代购免代理版

{"id":"https://openalex.org/W2032001066","doi":"https://doi.org/10.1080/00207169008803893","title":"Constructions for alternating finite automata^\u2217","display_name":"Constructions for alternating finite automata^\u2217","publication_year":1990,"publication_date":"1990-01-01","ids":{"openalex":"https://openalex.org/W2032001066","doi":"https://doi.org/10.1080/00207169008803893","mag":"2032001066"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1080/00207169008803893","pdf_url":null,"source":{"id":"https://openalex.org/S124867444","display_name":"International Journal of Computer Mathematics","issn_l":"0020-7160","issn":["0020-7160","1026-7425","1029-0265"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-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/A5034269083","display_name":"Abdelaziz Fellah","orcid":null},"institutions":[{"id":"https://openalex.org/I149910238","display_name":"Kent State University","ror":"https://ror.org/049pfb863","country_code":"US","type":"education","lineage":["https://openalex.org/I149910238"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"A. Fellah","raw_affiliation_strings":["Department of Mathematics and Computer Science, Kent State University, Kent, Ohio, 44242, USA"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, Kent State University, Kent, Ohio, 44242, USA","institution_ids":["https://openalex.org/I149910238"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088351125","display_name":"Helmut J\u00fcrgensen","orcid":null},"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":"H. J\u00fcrgensen","raw_affiliation_strings":["Department of Computer Science, The University of Western Ontario, London, Ontario, N6A 5B7, Canada"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, The University of Western Ontario, London, Ontario, N6A 5B7, Canada","institution_ids":["https://openalex.org/I125749732"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103183194","display_name":"Shyr-Shen Yu","orcid":"https://orcid.org/0000-0001-5711-5018"},"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":"S. Yu","raw_affiliation_strings":["Department of Computer Science, The University of Western Ontario, London, Ontario, N6A 5B7, Canada"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, The University of Western Ontario, London, Ontario, N6A 5B7, Canada","institution_ids":["https://openalex.org/I125749732"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":48,"citation_normalized_percentile":{"value":0.889254,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":92,"max":93},"biblio":{"volume":"35","issue":"1-4","first_page":"117","last_page":"132"},"is_retracted":false,"is_paratext":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.9987,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9966,"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/deterministic-finite-automaton","display_name":"Deterministic finite automaton","score":0.6766641},{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.5259117},{"id":"https://openalex.org/keywords/dfa-minimization","display_name":"DFA minimization","score":0.5035042},{"id":"https://openalex.org/keywords/natural-science","display_name":"Natural science","score":0.4621587},{"id":"https://openalex.org/keywords/\u03c9-automaton","display_name":"\u03c9-automaton","score":0.42489642}],"concepts":[{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.6990045},{"id":"https://openalex.org/C104091681","wikidata":"https://www.wikidata.org/wiki/Q837528","display_name":"Deterministic finite automaton","level":3,"score":0.6766641},{"id":"https://openalex.org/C158008952","wikidata":"https://www.wikidata.org/wiki/Q617295","display_name":"Nondeterministic finite automaton","level":4,"score":0.6247151},{"id":"https://openalex.org/C174327141","wikidata":"https://www.wikidata.org/wiki/Q176837","display_name":"Quantum finite automata","level":4,"score":0.5676256},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.55743337},{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.5259117},{"id":"https://openalex.org/C65753522","wikidata":"https://www.wikidata.org/wiki/Q5204896","display_name":"DFA minimization","level":5,"score":0.5035042},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.47950464},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4693502},{"id":"https://openalex.org/C193235544","wikidata":"https://www.wikidata.org/wiki/Q7991","display_name":"Natural science","level":2,"score":0.4621587},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.42551756},{"id":"https://openalex.org/C92710233","wikidata":"https://www.wikidata.org/wiki/Q291256","display_name":"\u03c9-automaton","level":5,"score":0.42489642},{"id":"https://openalex.org/C116248031","wikidata":"https://www.wikidata.org/wiki/Q214526","display_name":"Automata theory","level":3,"score":0.3959564},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.35500216},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.35155106},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2781492},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.1985032},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.1361179},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.075384915},{"id":"https://openalex.org/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1080/00207169008803893","pdf_url":null,"source":{"id":"https://openalex.org/S124867444","display_name":"International Journal of Computer Mathematics","issn_l":"0020-7160","issn":["0020-7160","1026-7425","1029-0265"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality education","score":0.47,"id":"https://metadata.un.org/sdg/4"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":16,"referenced_works":["https://openalex.org/W1545666019","https://openalex.org/W1964179274","https://openalex.org/W1965022641","https://openalex.org/W1989554258","https://openalex.org/W1990282605","https://openalex.org/W1993779423","https://openalex.org/W2002089154","https://openalex.org/W2016312557","https://openalex.org/W2067825920","https://openalex.org/W2077819737","https://openalex.org/W2104526634","https://openalex.org/W2460872832","https://openalex.org/W2913527980","https://openalex.org/W3023466934","https://openalex.org/W4241108585","https://openalex.org/W4302339081"],"related_works":["https://openalex.org/W4205935260","https://openalex.org/W3143588635","https://openalex.org/W2537940722","https://openalex.org/W2368684504","https://openalex.org/W2160879187","https://openalex.org/W2079577017","https://openalex.org/W2032001066","https://openalex.org/W2030569822","https://openalex.org/W2000290048","https://openalex.org/W1975910189"],"abstract_inverted_index":{"Abstract":[0],"Alternation":[1],"is":[2],"a":[3],"natural":[4,113,140,168],"generalization":[5],"of":[6,10,44,78,119,146,174],"nondeterminism.":[7],"The":[8],"model":[9],"alternating":[11,26,45,79],"finite":[12,27,35,46,80,94],"automata":[13,28,36,47],"was":[14,109,136,164],"first":[15],"introduced":[16],"and":[17,52,57,86,92,115,123,142,150,170,178],"studied":[18],"by":[19,111,138,166],"Chandra":[20],"et":[21],"al.":[22],"in":[23,76],"[2].":[24],"Although":[25],"are":[29],"no":[30],"more":[31],"powerful":[32],"than":[33],"deterministic":[34,93],"with":[37,101],"respect":[38],"to":[39],"language":[40,73],"recognition,":[41],"special":[42],"features":[43],"may":[48],"provide":[49],"new":[50],"approaches":[51],"techniques":[53],"for":[54,70],"solving":[55],"theoretical":[56],"practical":[58],"problems":[59],"concerning":[60],"regular":[61],"languages.":[62],"In":[63],"this":[64],"paper":[65],"we":[66,83],"present":[67],"direct":[68,87],"constructions":[69],"the":[71,112,139,167],"usual":[72],"theoretic":[74],"operations":[75],"terms":[77],"automata.":[81,95],"Moreover,":[82],"discuss":[84],"minimization":[85],"transformations":[88],"between":[89],"alternating,":[90],"non-deterministic,":[91],"Keywords:":[96],"Alternating":[97],"Finite":[98],"AutomataFinite":[99],"AutomataAlternationNondeterminismNFA":[100],"Nondeterministic":[102],"Starting":[103],"StateC.R.":[104],"Categories:":[105],"F.1.1F.1.2":[106],"\u2217This":[107,134,162],"work":[108,135,163],"supported":[110,137,165],"sciences":[114,141,169],"engineering":[116,143,171],"research":[117,144,172],"council":[118,145,173],"canada,":[120,147,175],"Grants":[121,148,176],"OGP0000243":[122,149,177],"OGP0041630.":[124,151,179],"\u2020On":[125,152,180],"leave":[126,153,181],"from":[127,154,182],"Kent":[128,155,183],"State":[129,156,184],"University,":[130,157,185],"Kent,":[131,158,186],"Ohio,":[132,159,187],"USA.":[133,160,188],"Notes":[161]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2032001066","counts_by_year":[{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":7},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":3},{"year":2014,"cited_by_count":2},{"year":2012,"cited_by_count":2}],"updated_date":"2025-01-18T08:48:24.933018","created_date":"2016-06-24"}