{"id":"W124365840","doi":"10.1007/978-3-642-22600-7_13","title":"State Complexity of Four Combined Operations Composed of Union, Intersection, Star and Reversal","year":2011,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"","keywords":"Intersection (aeronautics); Star (game theory); Computer science; State (computer science); Algorithm; Theoretical computer science; Mathematics; Aerospace engineering; Engineering","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.001065948,0.000476287,0.000848795,0.0008272345,0.001198269,0.0046784,0.001544209,0.001437666,0.01547375],"category_scores_gemma":[0.008936105,0.0004680518,0.00132783,0.001179923,0.001957719,0.007152373,0.001671638,0.001879438,0.0007179665],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002893776,"about_ca_system_score_gemma":0.002560943,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01098476,"about_ca_topic_score_gemma":0.01179077,"domain_scores_codex":[0.9985359,0.000298799,0.00008137446,0.0002506218,0.000423513,0.0004097148],"domain_scores_gemma":[0.9803568,0.01625632,0.0006876668,0.001267592,0.0008912634,0.000540377],"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.002802017,0.0005974806,0.008205535,0.000384904,0.0001605697,0.0003267267,0.001262658,0.3091769,0.01104649,0.5884125,0.01011538,0.06750879],"study_design_scores_gemma":[0.0001136659,0.0001056787,0.001922484,0.00001576132,0.00008795557,0.00006769937,0.0002392577,0.7249285,0.006159288,0.2654012,0.0009076468,0.00005088158],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9074486,0.0002188137,0.06773673,0.001140167,0.00005204552,0.00008517619,0.001398178,0.000650297,0.02126995],"genre_scores_gemma":[0.9865938,0.00007721259,0.007716885,0.0000376591,0.0000278252,0.00004790035,0.0007519042,0.0001090073,0.00463768],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01547375,"threshold_uncertainty_score":0.05176485,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02966095746083911,"score_gpt":0.2320006862328098,"score_spread":0.2023397287719707,"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."}}