{"id":"W14029668","doi":"10.1007/978-3-642-31623-4_12","title":"State Complexity of Star and Square of Union of k Regular Languages","year":2012,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"","keywords":"State (computer science); Star (game theory); Component (thermodynamics); Discrete mathematics; Mathematics; Combinatorics; Computer science; Algorithm; Physics; Mathematical analysis; Quantum mechanics","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.001195112,0.0003902116,0.001164983,0.000934394,0.001634083,0.006308048,0.001855821,0.001468372,0.01241744],"category_scores_gemma":[0.01205358,0.0008087461,0.001590812,0.001354191,0.002564566,0.009795279,0.002529028,0.002695848,0.0006795828],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002768325,"about_ca_system_score_gemma":0.002149515,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004057239,"about_ca_topic_score_gemma":0.003919967,"domain_scores_codex":[0.9980603,0.0003915798,0.0001467774,0.000398569,0.0005566854,0.0004459893],"domain_scores_gemma":[0.9814401,0.01441578,0.001004732,0.00119021,0.0009731668,0.0009759309],"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.001029873,0.000150333,0.005254126,0.0002679529,0.00006878016,0.0002898917,0.001696332,0.05959398,0.00529991,0.9044554,0.004017578,0.01787578],"study_design_scores_gemma":[0.00005694298,0.00006784392,0.001783983,0.00001842467,0.00004376261,0.0001430135,0.0003170279,0.2278406,0.002660108,0.7659879,0.001036968,0.00004346137],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.902847,0.0004813018,0.06898187,0.001508331,0.00005282113,0.00006146455,0.00110084,0.0003556432,0.02461073],"genre_scores_gemma":[0.9872532,0.0001605909,0.007088202,0.00005505581,0.00005952629,0.00004913578,0.0005992228,0.000102258,0.004632739],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01241744,"threshold_uncertainty_score":0.04154044,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01903382800751358,"score_gpt":0.2450581651829583,"score_spread":0.2260243371754447,"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."}}