{"id":"W2025689196","doi":"10.1142/s0129054105003352","title":"NON-UNIQUENESS AND RADIUS OF CYCLIC UNARY NFAs","year":2005,"lang":"en","type":"article","venue":"International Journal of Foundations of Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":6,"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; Automaton; Artificial intelligence","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.0009218662,0.00008593941,0.000177585,0.0005989269,0.00007415248,0.0001678833,0.00235898,0.00002320779,0.000009234563],"category_scores_gemma":[0.00004805328,0.00007509118,0.00007277456,0.0004394821,0.0004530656,0.002155615,0.0003993222,0.00009292617,0.000002459376],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000578484,"about_ca_system_score_gemma":0.0003124852,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000009781857,"about_ca_topic_score_gemma":0.000001497634,"domain_scores_codex":[0.9983801,0.00002687698,0.0005584942,0.0001687718,0.0007419979,0.0001237732],"domain_scores_gemma":[0.9979014,0.0001536035,0.0005903274,0.0002591821,0.001011151,0.0000843788],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003084931,0.0004331762,0.003629134,0.0000181694,0.0001149507,0.00002557483,0.002463857,0.008119054,0.0419715,0.2830952,0.0003481213,0.6597505],"study_design_scores_gemma":[0.001730773,0.0005894617,0.1106104,0.0004691569,0.00002426619,0.001710779,0.00006261002,0.7276304,0.1040839,0.04971107,0.002981706,0.0003955156],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3957428,0.00006614973,0.6019495,0.001303026,0.0006797813,0.00003059498,0.000001373576,0.000007636864,0.000219128],"genre_scores_gemma":[0.7941653,0.00003398503,0.205491,0.0001416216,0.0001567918,4.670796e-7,3.271227e-7,0.000002434732,0.000008124654],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7195113,"threshold_uncertainty_score":0.438361,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009417357858932295,"score_gpt":0.2844497698727559,"score_spread":0.2750324120138237,"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."}}