{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001491668,0.0005777855,0.001215622,0.001326439,0.001278429,0.005558253,0.00176346,0.001762913,0.01079272],"category_scores_gemma":[0.01227739,0.000599128,0.001678028,0.001672563,0.002530191,0.01163348,0.002909673,0.002515856,0.0005536054],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001954815,"about_ca_system_score_gemma":0.001647333,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001744647,"about_ca_topic_score_gemma":0.001595529,"domain_scores_codex":[0.9972012,0.0005816575,0.0002131332,0.0005302189,0.0009231054,0.0005507469],"domain_scores_gemma":[0.9751807,0.0197397,0.0009252445,0.002018204,0.001175085,0.0009610961],"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.001676141,0.000351629,0.0037871,0.0002818302,0.0001084351,0.0003264006,0.0009398212,0.08513379,0.01038786,0.8642799,0.00283594,0.02989119],"study_design_scores_gemma":[0.00007847373,0.0001193554,0.001364946,0.00001728857,0.00007495173,0.0001267162,0.0001570925,0.313154,0.005653114,0.6783517,0.0008486656,0.00005362621],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7837812,0.0002854152,0.1955146,0.0009941731,0.00007354085,0.0001027084,0.0008495883,0.0004241058,0.01797478],"genre_scores_gemma":[0.9827374,0.00009494706,0.0137379,0.00004946242,0.00006461232,0.000086808,0.0004084311,0.00007595098,0.002744413],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01079272,"threshold_uncertainty_score":0.03610528,"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."}}