{"id":"W2089487135","doi":"10.1090/s0002-9939-09-10126-0","title":"An automata theoretic approach to the generalized word problem in graphs of groups","year":2009,"lang":"en","type":"article","venue":"Proceedings of the American Mathematical Society","topic":"semigroups and automata theory","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"Natural Sciences and Engineering Research Council of Canada; Deutsche Forschungsgemeinschaft","keywords":"Quasiconvex function; Mathematics; Chordal graph; Combinatorics; Word problem (mathematics education); Decidability; Vertex (graph theory); Discrete mathematics; Graph; Regular polygon; Arithmetic","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.001529041,0.0002142094,0.0005024023,0.00004888702,0.0001039312,0.00009609511,0.003056072,0.00004505445,0.000003259453],"category_scores_gemma":[0.0001019495,0.0001150614,0.0003005935,0.001706224,0.0005199336,0.0002751363,0.0003640674,0.0002088135,0.000002685212],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003468709,"about_ca_system_score_gemma":0.00002555124,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001445676,"about_ca_topic_score_gemma":1.463056e-7,"domain_scores_codex":[0.9980854,0.00004331494,0.0005178662,0.0003934081,0.0005705025,0.0003894987],"domain_scores_gemma":[0.9986354,0.0001185776,0.0004482538,0.0005774067,0.000118347,0.0001019841],"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.00001272353,0.0005192442,0.0001786326,0.00009617957,0.00002072695,5.902979e-8,0.008904366,0.00004005491,0.008115406,0.9739333,0.0007694049,0.007409898],"study_design_scores_gemma":[0.0002868457,0.0002281173,0.00586563,0.0001105069,0.00002279572,0.00001254425,0.00213899,0.10495,0.003383207,0.8827479,0.00003122878,0.0002222253],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.956977,0.00003393019,0.03249586,0.004911362,0.00002360656,0.0007724333,0.0000030961,0.0001612416,0.004621522],"genre_scores_gemma":[0.7762963,0.00001190898,0.2226072,0.001001484,0.00001771308,0.00003598942,2.748079e-7,0.00001107463,0.00001803588],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1901113,"threshold_uncertainty_score":0.5678993,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009655529450554501,"score_gpt":0.2398992025787407,"score_spread":0.2302436731281862,"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."}}