{"id":"W2026951311","doi":"10.1016/j.tcs.2009.02.024","title":"Decimations of languages and state complexity","year":2009,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":16,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Context-free language; Context (archaeology); Transformation (genetics); Mathematics; State (computer science); Regular language; Arithmetic; Combinatorics; Upper and lower bounds; Discrete mathematics; Algebra over a field; Computer science; Pure mathematics; Algorithm; Theoretical computer science; Rule-based machine translation","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007930191,0.00009572164,0.0001511137,0.0001185396,0.0001750928,0.0001689775,0.00113048,0.00001730485,0.00001308124],"category_scores_gemma":[0.00004636035,0.00007542253,0.00002732114,0.00057089,0.002164617,0.0004679869,0.0003849146,0.00007440976,0.000008315677],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001160085,"about_ca_system_score_gemma":0.00003796341,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002506011,"about_ca_topic_score_gemma":2.63461e-7,"domain_scores_codex":[0.998827,0.00005348102,0.0001886922,0.0003319449,0.000330815,0.0002680543],"domain_scores_gemma":[0.9990712,0.0001598929,0.00005572885,0.0004888224,0.00008930593,0.0001350162],"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.000001595647,0.00002967145,0.00002444488,0.000002463852,9.468009e-7,0.000002636519,0.0004084868,0.00001564674,0.001345124,0.902392,0.00001161153,0.09576538],"study_design_scores_gemma":[0.0001033179,0.0001315687,0.01407843,0.00001598159,0.00000142406,0.00002324513,0.000007304589,0.2761584,0.0060887,0.7032858,0.00001130915,0.00009452967],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.206398,0.00004383325,0.7904781,0.0008841127,0.00005965237,0.00005917903,0.000001900502,0.0001049153,0.001970254],"genre_scores_gemma":[0.7967089,0.000004048054,0.2028511,0.0004157734,0.00001513227,5.034241e-7,2.64245e-7,0.000001522592,0.000002665244],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5903109,"threshold_uncertainty_score":0.7975623,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01166234300292262,"score_gpt":0.2812288733793871,"score_spread":0.2695665303764645,"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."}}