{"id":"W2153607460","doi":"10.1017/s1446788700002354","title":"Remarks concerning finitely generated semigroups having regular sets of unique normal forms","year":2001,"lang":"en","type":"article","venue":"Journal of the Australian Mathematical Society","topic":"semigroups and automata theory","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"Engineering and Physical Sciences Research Council; Mitacs; European Commission","keywords":"Mathematics; Decidability; Automaticity; Special classes of semigroups; Closure (psychology); Class (philosophy); Semigroup; Pure mathematics; Finitely-generated abelian group; Krohn–Rhodes theory; Task (project management); Inverse semigroup; Discrete mathematics; Inverse; Algebra over a field; Computer science; Artificial intelligence","routes":{"ca_aff":true,"ca_fund":true,"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.001840949,0.0001985552,0.000442799,0.00003558226,0.0001695923,0.0001239436,0.001510813,0.000170218,0.000114591],"category_scores_gemma":[0.0001849106,0.0001206916,0.0006301563,0.0004642729,0.0001744173,0.0005993018,0.0002971535,0.0005298782,0.000007101946],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009116498,"about_ca_system_score_gemma":0.00009615668,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004249017,"about_ca_topic_score_gemma":5.269223e-7,"domain_scores_codex":[0.9978129,0.0001521627,0.0008927158,0.0001685241,0.0006003316,0.0003734007],"domain_scores_gemma":[0.9979303,0.0002739433,0.0008822362,0.0005468137,0.0002098099,0.0001568861],"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.000237459,0.002261078,0.01472494,0.001940922,0.002556982,0.0005922208,0.04252122,0.009739021,0.2985974,0.4715142,0.1206,0.03471456],"study_design_scores_gemma":[0.004390521,0.0009058737,0.01508995,0.00465276,0.0004723418,0.007681466,0.004798913,0.2179409,0.1910448,0.5435773,0.007696946,0.001748195],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8571591,0.00007249632,0.1388797,0.002981962,0.0002119777,0.0001447456,0.000003382479,0.00004355015,0.0005030386],"genre_scores_gemma":[0.9100221,0.00003843828,0.08842767,0.0003823764,0.0001117079,0.000001729692,7.109441e-7,0.00001806505,0.0009972327],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2082019,"threshold_uncertainty_score":0.4921661,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02737745730132377,"score_gpt":0.2660028107670802,"score_spread":0.2386253534657564,"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."}}