{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00334254,0.0004098235,0.0005551121,0.0008664589,0.001451065,0.002667072,0.0009805,0.001217768,0.003128939],"category_scores_gemma":[0.01349867,0.0003614782,0.0009107079,0.0004815958,0.006664264,0.004339927,0.001086856,0.002249177,0.0002013354],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007342139,"about_ca_system_score_gemma":0.0003281172,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005724762,"about_ca_topic_score_gemma":0.0004319964,"domain_scores_codex":[0.9981421,0.0005996001,0.000100934,0.0004443191,0.0005327997,0.0001802767],"domain_scores_gemma":[0.9729857,0.02343868,0.0009675893,0.001157968,0.0008723142,0.0005777164],"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.0002182218,0.00006352148,0.002776644,0.0001671702,0.0000215897,0.001412997,0.002780772,0.004180608,0.005359229,0.9724912,0.001498439,0.009029627],"study_design_scores_gemma":[0.00002468442,0.00006801035,0.001266077,0.00002750412,0.0000133936,0.0007057113,0.0006527857,0.006026139,0.004284531,0.9825815,0.004327054,0.00002252644],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8154806,0.001709255,0.1036106,0.01095639,0.0004036267,0.00008435841,0.0003200474,0.000586678,0.06684832],"genre_scores_gemma":[0.9858584,0.0002748796,0.009835696,0.0002943701,0.0002826537,0.00004420196,0.0001759389,0.00003869309,0.003195235],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.00334254,"threshold_uncertainty_score":0.01767725,"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."}}