{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002538692,0.001067923,0.001148301,0.001839347,0.002823211,0.004065365,0.003239281,0.002560229,0.007711934],"category_scores_gemma":[0.00783418,0.0007208405,0.004225404,0.001799093,0.008376642,0.01560789,0.006812127,0.007624746,0.0008941197],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002496722,"about_ca_system_score_gemma":0.001933357,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003122345,"about_ca_topic_score_gemma":0.003051671,"domain_scores_codex":[0.9973463,0.000665048,0.000242524,0.0008313223,0.0005534347,0.0003613239],"domain_scores_gemma":[0.9910903,0.005939899,0.000365253,0.001444742,0.000815105,0.00034468],"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.0000152917,0.00001705038,0.0001883529,0.00005988279,0.0000147277,0.0001188228,0.0003332755,0.002453025,0.0006387503,0.9907064,0.00116407,0.004290498],"study_design_scores_gemma":[0.000009654799,0.000009744043,0.00004211842,0.000009991189,0.00001117188,0.00004694896,0.00006227704,0.008134853,0.0004899202,0.9890119,0.002160473,0.00001096588],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05249156,0.0007872816,0.9080533,0.007135987,0.0008396352,0.0001859545,0.0005798361,0.0009418654,0.02898456],"genre_scores_gemma":[0.7253216,0.001450463,0.24694,0.004124977,0.001844021,0.000734677,0.001314565,0.0005713071,0.01769836],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007711934,"threshold_uncertainty_score":0.02579904,"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."}}