{"id":"W2156139008","doi":"10.1016/j.tcs.2012.02.030","title":"State complexity of combined operations with two basic operations","year":2012,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":23,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"","keywords":"State (computer science); Component (thermodynamics); Upper and lower bounds; Computer science; Computational complexity theory; Mathematics; Theoretical computer science; Algorithm","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":["sts"],"consensus_categories":[],"category_scores_codex":[0.001427321,0.0001831536,0.000244512,0.0001594844,0.0005223259,0.0003147039,0.00186242,0.00002206531,0.00007050279],"category_scores_gemma":[0.00003670833,0.0001314917,0.00004588993,0.001184263,0.004538019,0.001596249,0.0007455637,0.000151517,0.00005250786],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003998687,"about_ca_system_score_gemma":0.000160766,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002589747,"about_ca_topic_score_gemma":0.000008568419,"domain_scores_codex":[0.997891,0.0001567245,0.0003142268,0.0004260507,0.0006062598,0.0006057303],"domain_scores_gemma":[0.9982753,0.0001452893,0.00004067843,0.0009454964,0.0002649109,0.0003283082],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000007207017,0.0001726226,0.0002119161,0.000004140381,0.000005785764,0.000001402375,0.0009548565,0.002681272,0.001570652,0.9908496,0.00001068789,0.003529829],"study_design_scores_gemma":[0.0005271448,0.0003214058,0.004530884,0.00003112424,0.000007159652,0.00004203105,0.00001610012,0.9019794,0.01740473,0.07486051,0.0000172622,0.000262262],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2957025,0.00001448406,0.7023103,0.0005634609,0.0002342133,0.0001546389,0.000004915358,0.0001248116,0.0008906365],"genre_scores_gemma":[0.7499924,0.00000112278,0.2495565,0.0003753774,0.00005007967,0.000007819509,0.000001891,0.000006323673,0.000008513686],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9159891,"threshold_uncertainty_score":0.998171,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02093457673868921,"score_gpt":0.2652000572899269,"score_spread":0.2442654805512377,"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."}}