{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001905198,0.0005659639,0.001477771,0.00188845,0.00170461,0.007728068,0.001926194,0.001902531,0.01246029],"category_scores_gemma":[0.01621721,0.0007860365,0.001739207,0.002239801,0.003161974,0.0153263,0.003432479,0.003849751,0.0007162648],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002522371,"about_ca_system_score_gemma":0.001642885,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001736362,"about_ca_topic_score_gemma":0.00155006,"domain_scores_codex":[0.9965952,0.0007610429,0.0002104499,0.0006092298,0.00124283,0.0005813547],"domain_scores_gemma":[0.9659581,0.02693775,0.001365397,0.002797299,0.001801539,0.001139924],"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.0004421741,0.0001279348,0.001816361,0.0001089185,0.00004682431,0.0001390726,0.000680519,0.0282535,0.002781167,0.9516364,0.001287607,0.01267954],"study_design_scores_gemma":[0.00003410183,0.00003704903,0.0006940136,0.00001196056,0.00003778733,0.0000631021,0.0001089513,0.1183684,0.00199878,0.877999,0.0006202644,0.00002650372],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7962264,0.0004388911,0.1703231,0.001672201,0.00006850754,0.00008707926,0.0008685769,0.0004010206,0.02991424],"genre_scores_gemma":[0.9875305,0.0001434392,0.007756694,0.00006188558,0.00007091036,0.00008299249,0.0003955453,0.00007798385,0.003880116],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01246029,"threshold_uncertainty_score":0.04168385,"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."}}