{"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":"codex-gemma-dda1882f352a","candidate_categories":["sts"],"consensus_categories":[],"category_scores_codex":[0.001471316,0.0001322969,0.0002861513,0.0001779334,0.00007596215,0.00005328627,0.001196568,0.00003388535,0.00002998358],"category_scores_gemma":[0.00004766962,0.0001002773,0.00004412414,0.0006113352,0.004543882,0.000386805,0.0006966963,0.00009230657,0.000004408415],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000148359,"about_ca_system_score_gemma":0.0000427099,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005932802,"about_ca_topic_score_gemma":7.139647e-7,"domain_scores_codex":[0.9982394,0.0002410935,0.0003351513,0.0003775373,0.0005422949,0.0002645209],"domain_scores_gemma":[0.9984839,0.0002584269,0.0001764861,0.0007231287,0.0002377909,0.0001202839],"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.000005506853,0.00007427509,0.0001043786,0.00004713946,0.000003563657,0.000001164366,0.0006474382,0.00006111803,0.01111077,0.952935,0.00001276665,0.03499686],"study_design_scores_gemma":[0.0002995098,0.0008053865,0.02467749,0.0001869099,0.000003940247,0.000007982149,0.00007114918,0.2972688,0.1388703,0.5376317,0.000007447481,0.0001694222],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6474091,0.00003393101,0.3516832,0.0003027357,0.00006490135,0.0001236357,0.000005656816,0.00003488611,0.0003419142],"genre_scores_gemma":[0.9440261,0.00000727699,0.05587274,0.00007108579,0.00001184108,0.000001436783,9.124872e-7,0.000004573199,0.000003991639],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4153033,"threshold_uncertainty_score":0.9981652,"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."}}