{"id":"W2054220885","doi":"10.1016/j.tcs.2007.04.015","title":"State complexity of combined operations","year":2007,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":88,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University; Queen's University","funders":"","keywords":"State (computer science); Intersection (aeronautics); Combined operations; Star (game theory); Computer science; Theoretical computer science; Computational complexity theory; Mathematics; Algorithm; Engineering; Political science","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.003049233,0.0001417626,0.0002136406,0.0002038854,0.000320406,0.0001988184,0.002500884,0.00002959613,0.00004122468],"category_scores_gemma":[0.00006453324,0.0001156642,0.00006012397,0.001260939,0.005257633,0.0006071354,0.0009846165,0.0001359135,0.0000394046],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003669326,"about_ca_system_score_gemma":0.0001032026,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001057412,"about_ca_topic_score_gemma":0.000003448245,"domain_scores_codex":[0.9979126,0.00006900405,0.0003924806,0.0004758928,0.0006222273,0.0005277745],"domain_scores_gemma":[0.9983377,0.0002449325,0.00005867234,0.0008691497,0.0002465429,0.0002429604],"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.000007947692,0.00008249321,0.00004508792,0.000004007342,0.000002737931,0.000006588264,0.000432065,0.0001687269,0.003510064,0.9760783,0.00001266397,0.01964937],"study_design_scores_gemma":[0.0002235758,0.0002010073,0.004684904,0.00001580476,0.000001736867,0.00001652287,0.000007326389,0.4982521,0.04057647,0.4558494,0.00001881505,0.0001523132],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1967539,0.000009147967,0.8000614,0.0004198877,0.0003495873,0.0001071965,0.000002138135,0.0001558395,0.002140905],"genre_scores_gemma":[0.7629954,0.000001042315,0.2366159,0.0003457542,0.00002954592,0.000001005721,6.294954e-7,0.000004017064,0.000006706471],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5662415,"threshold_uncertainty_score":0.9974495,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01896866439580035,"score_gpt":0.2679945130767457,"score_spread":0.2490258486809453,"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."}}