{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002644013,0.0001766772,0.0002748571,0.0001069409,0.0000868576,0.0001083511,0.0005464463,0.0001040126,0.00001548563],"category_scores_gemma":[0.00001411848,0.0001645775,0.00006790944,0.000300877,0.0002063112,0.000300587,0.0002971138,0.0001226819,0.0000349383],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002785043,"about_ca_system_score_gemma":0.00009306466,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001882386,"about_ca_topic_score_gemma":0.000002613244,"domain_scores_codex":[0.9988877,0.00004101804,0.0002573966,0.0003578502,0.0001873346,0.0002687551],"domain_scores_gemma":[0.9991071,0.00007112106,0.0001272445,0.0005478898,0.00003843639,0.000108246],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"observational","study_design_scores_codex":[0.00004720681,0.000412706,0.008895773,0.0006373274,0.0001232281,0.0003088747,0.006693937,0.0004593008,0.04802643,0.7264449,0.0004529739,0.2074974],"study_design_scores_gemma":[0.005651767,0.001343516,0.3789166,0.002644991,0.0001466915,0.0006079556,0.0005030988,0.02533582,0.3022428,0.2677045,0.01283899,0.002063301],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9755481,0.001904417,0.01886215,0.0008777539,0.0003802344,0.0001419982,0.00001124439,0.00007437007,0.002199761],"genre_scores_gemma":[0.9955457,0.0002918935,0.003640759,0.0003062959,0.0001203174,0.000004469559,0.000002322361,0.0000144492,0.00007373176],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4587404,"threshold_uncertainty_score":0.6711277,"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."}}