{"id":"W4411300943","doi":"10.1007/s11047-025-10032-x","title":"On decidability of problems involving insertion operations","year":2025,"lang":"en","type":"article","venue":"Natural Computing","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Saskatchewan","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Decidability; Theory of computation; Computer science; Mathematics; Calculus (dental); Algorithm","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.01397356,0.002010755,0.003373342,0.00302775,0.005832157,0.01299516,0.009698102,0.007258416,0.01232287],"category_scores_gemma":[0.07456632,0.002895167,0.008585725,0.005265468,0.01425739,0.04536065,0.008733718,0.01836144,0.00117396],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.007633847,"about_ca_system_score_gemma":0.005256599,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007078299,"about_ca_topic_score_gemma":0.007169676,"domain_scores_codex":[0.9834967,0.005638666,0.001210926,0.004327415,0.003075693,0.002250659],"domain_scores_gemma":[0.8071514,0.1809032,0.002537057,0.005430085,0.002379086,0.001599068],"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.0005022851,0.0003760151,0.001587823,0.000650176,0.0001470469,0.000480781,0.002033819,0.01937663,0.001288558,0.9401134,0.007949659,0.0254939],"study_design_scores_gemma":[0.00005923835,0.00001711057,0.0001178268,0.00004484968,0.00004149932,0.00008929059,0.000166137,0.01867147,0.0006747246,0.9787399,0.00135858,0.00001947658],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1882885,0.006957883,0.6591859,0.04078052,0.001245479,0.000557525,0.002272665,0.002491218,0.09822043],"genre_scores_gemma":[0.8204208,0.003329547,0.1425404,0.004616037,0.00243022,0.0006631094,0.004070318,0.001058072,0.02087167],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01397356,"threshold_uncertainty_score":0.07390004,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008204423882996022,"score_gpt":0.2557424299032091,"score_spread":0.247538006020213,"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."}}