{"id":"W2405494927","doi":"","title":"Non-Uniqueness and Radius of Cyclic Unary NFAs.","year":2004,"lang":"es","type":"article","venue":"DCFS","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo; Acadia University","funders":"","keywords":"Unary operation; Nondeterministic algorithm; RADIUS; Mathematics; Uniqueness; Regular language; Diophantine equation; Class (philosophy); Combinatorics; Discrete mathematics; Computer science; Mathematical analysis; Theoretical computer science; Artificial intelligence; Automaton","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001691208,0.0002451221,0.0006579452,0.0008251455,0.001340235,0.001544164,0.000999396,0.0008062357,0.002713673],"category_scores_gemma":[0.01171411,0.0004109415,0.0007849744,0.0004188364,0.002647266,0.004075693,0.001359323,0.001137692,0.0005122806],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008777485,"about_ca_system_score_gemma":0.0004360645,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004560254,"about_ca_topic_score_gemma":0.0003800877,"domain_scores_codex":[0.9978828,0.00052309,0.0002091102,0.0007299304,0.0004707132,0.0001843748],"domain_scores_gemma":[0.9895191,0.007056413,0.001361299,0.0009447375,0.0007624743,0.0003559706],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001737952,0.00002224175,0.003912006,0.0002615821,0.00003928803,0.0003976616,0.001481884,0.008849423,0.02982032,0.9359272,0.0004676412,0.01864699],"study_design_scores_gemma":[0.00003329939,0.0001984746,0.003000393,0.00006989462,0.00008477639,0.002586017,0.0008035911,0.08016302,0.04030887,0.8594973,0.01316484,0.00008954368],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5903465,0.001951087,0.3840559,0.0005193589,0.00006514652,0.00007906414,0.0001999019,0.0003878804,0.02239523],"genre_scores_gemma":[0.9566798,0.0002383903,0.03957583,0.00006193091,0.00003931248,0.00008478679,0.00008288876,0.00009551279,0.00314165],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.002713673,"threshold_uncertainty_score":0.009078145,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.006565634247570317,"score_gpt":0.2289848860190896,"score_spread":0.2224192517715192,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}