{"id":"W2166846151","doi":"10.1016/j.tcs.2013.06.003","title":"State complexity of star of union and square of union on k regular languages","year":2013,"lang":"en","type":"article","venue":"Theoretical 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":"State (computer science); Star (game theory); Square (algebra); Regular language; Mathematics; Component (thermodynamics); Discrete mathematics; Combinatorics; Computer science; Theoretical computer science; Algorithm; Automaton; Geometry; Physics","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.001634033,0.000407375,0.001463563,0.001075865,0.001954722,0.006220172,0.001865333,0.001792751,0.01255893],"category_scores_gemma":[0.01732454,0.0007259176,0.001529185,0.001378823,0.002830192,0.01082643,0.003048006,0.002624662,0.0005638232],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003182511,"about_ca_system_score_gemma":0.002815792,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006528023,"about_ca_topic_score_gemma":0.006073799,"domain_scores_codex":[0.9976881,0.0005005547,0.0001699654,0.0004860105,0.0005097584,0.000645661],"domain_scores_gemma":[0.963957,0.02842619,0.00187545,0.002215154,0.001626004,0.001900183],"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.003387987,0.0003358082,0.01581741,0.0003553593,0.0001226876,0.0005077888,0.003094336,0.1197286,0.007453255,0.8233747,0.00511845,0.02070363],"study_design_scores_gemma":[0.0001254991,0.0001208329,0.003083996,0.00002284399,0.00006985255,0.000151718,0.0005970209,0.3991437,0.003438913,0.5924264,0.0007532171,0.00006592431],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9542879,0.0001899995,0.03504146,0.001223101,0.00002809009,0.00004617689,0.0008564694,0.0003137122,0.008013001],"genre_scores_gemma":[0.994369,0.00005983087,0.00309196,0.00004162465,0.00002746943,0.00002957654,0.0004341874,0.00005713393,0.001889223],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01255893,"threshold_uncertainty_score":0.04201382,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01194127894919759,"score_gpt":0.2420305042604478,"score_spread":0.2300892253112502,"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."}}