{"id":"W2161913867","doi":"10.1016/j.jalgebra.2006.05.020","title":"On the rational subset problem for groups","year":2006,"lang":"en","type":"article","venue":"Journal of Algebra","topic":"semigroups and automata theory","field":"Computer Science","cited_by":55,"is_retracted":false,"has_abstract":false,"ca_institutions":"Carleton University","funders":"Centro de Matemática Universidade do Porto; Natural Sciences and Engineering Research Council of Canada; European Science Foundation","keywords":"Decidability; Mathematics; Free product; Monoid; Abelian group; Combinatorics; Discrete mathematics; Free monoid; Commutative property; Group (periodic table); Direct product","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.0007997958,0.00006548461,0.00009646703,0.00004323112,0.0001140447,0.0001260274,0.0005475032,0.00002429063,0.000027199],"category_scores_gemma":[0.00003706472,0.00003697371,0.0001076537,0.0001123504,0.00002171933,0.0002783324,0.00003236256,0.0001002911,0.00001120296],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002037702,"about_ca_system_score_gemma":0.00005418343,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001265824,"about_ca_topic_score_gemma":0.000001451901,"domain_scores_codex":[0.9992406,0.00004175235,0.0002565532,0.00007848153,0.0002466608,0.0001359851],"domain_scores_gemma":[0.9990297,0.000456134,0.0002345546,0.0001510187,0.0001015907,0.00002700576],"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.00001087813,0.00003881277,0.0000384968,0.000002462088,0.000009623442,0.000004066384,0.00004234862,0.0002523327,0.0004598335,0.9346919,0.06338955,0.001059704],"study_design_scores_gemma":[0.0003192647,0.0001960449,0.002524076,0.00002483789,0.000005041568,0.00008140396,0.00001034966,0.003746854,0.001481503,0.9857515,0.005795004,0.00006408148],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3556978,0.0002298373,0.6230612,0.0179881,0.000627048,0.0002296869,0.000005099775,0.00003703537,0.002124233],"genre_scores_gemma":[0.9687165,0.000002857119,0.0289804,0.001473478,0.0006325634,0.000005697237,0.000001409474,0.000006561615,0.000180555],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6130187,"threshold_uncertainty_score":0.1507744,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009193522760611693,"score_gpt":0.2132131024672273,"score_spread":0.2040195797066156,"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."}}