{"id":"W72689024","doi":"10.1007/978-1-4614-1695-1_26","title":"Decidable Containment Problems of Rational Word Relations","year":2011,"lang":"en","type":"book-chapter","venue":"Lecture notes in electrical engineering","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université du Québec en Outaouais","funders":"","keywords":"Decidability; Containment (computer programming); Relation (database); Word (group theory); Rational number; Mathematics; Prefix; Closure (psychology); Arity; Constant (computer programming); Commutative property; Combinatorics; Discrete mathematics; Computer science; Linguistics; Programming language; Law; Philosophy","routes":{"ca_aff":true,"ca_fund":false,"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.002749851,0.001230074,0.001492878,0.001238473,0.002412734,0.007029557,0.003426512,0.003056285,0.009442803],"category_scores_gemma":[0.0145531,0.001896145,0.002403873,0.002331436,0.005610108,0.01864932,0.003240253,0.009132193,0.001317626],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003219328,"about_ca_system_score_gemma":0.001613432,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002479497,"about_ca_topic_score_gemma":0.002349163,"domain_scores_codex":[0.9951798,0.001588998,0.0003674842,0.001216847,0.001040257,0.0006065629],"domain_scores_gemma":[0.9756144,0.02224188,0.0004245419,0.0008892074,0.0005843456,0.000245639],"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.000126893,0.0001241634,0.0002284714,0.0003762056,0.00003691845,0.0001971999,0.001380648,0.006678119,0.00156728,0.9527712,0.005754513,0.03075834],"study_design_scores_gemma":[0.00003926097,0.00001014176,0.00008542072,0.00003826764,0.0000193076,0.00008275038,0.0002222604,0.008702874,0.001181789,0.9854613,0.004144215,0.00001248957],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.2128265,0.01084059,0.5722256,0.01260145,0.0007063181,0.0002917525,0.001790896,0.001685609,0.1870313],"genre_scores_gemma":[0.8087141,0.003980806,0.1475036,0.001256708,0.00127151,0.0004209084,0.004288568,0.0006321152,0.0319317],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009442803,"threshold_uncertainty_score":0.03158933,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008888405961319621,"score_gpt":0.186229898492712,"score_spread":0.1773414925313924,"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."}}