{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002814552,0.0006428736,0.001647498,0.001949022,0.001616388,0.00635116,0.001620635,0.001536343,0.008026655],"category_scores_gemma":[0.01812509,0.0009795635,0.001161635,0.001864856,0.005979517,0.015609,0.003696757,0.005542795,0.0007002405],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002316085,"about_ca_system_score_gemma":0.0009968608,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008147784,"about_ca_topic_score_gemma":0.0007093378,"domain_scores_codex":[0.9969326,0.0008801888,0.0002835969,0.0007805965,0.0007101931,0.0004127659],"domain_scores_gemma":[0.9651271,0.02809373,0.001579696,0.002745734,0.0014936,0.0009600797],"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.0000370875,0.0000156905,0.000190886,0.0000308805,0.000005947767,0.00002885715,0.0002512597,0.003599047,0.0002508388,0.99006,0.0003157411,0.005213705],"study_design_scores_gemma":[0.000006035357,0.000005256998,0.0000526973,0.000005235125,0.000003328124,0.00002257472,0.00002299623,0.008014372,0.0001626256,0.9912364,0.0004623783,0.000006103344],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3413461,0.0034528,0.591039,0.005734233,0.000273683,0.00007903305,0.0005488236,0.0007946826,0.05673173],"genre_scores_gemma":[0.9543078,0.0008294134,0.03275328,0.0003651086,0.000427067,0.0001421246,0.0002556484,0.0001565329,0.01076311],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008026655,"threshold_uncertainty_score":0.02685183,"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."}}