{"id":"W2141385438","doi":"10.1016/j.tcs.2012.03.046","title":"State complexity of union and intersection of square and reversal on <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" altimg=\"si1.gif\" display=\"inline\" overflow=\"scroll\"><mml:mi>k</mml:mi></mml:math> regular languages","year":2012,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"","keywords":"State (computer science); Intersection (aeronautics); Component (thermodynamics); Mathematics; Discrete mathematics; Computer science; Algorithm; Engineering; 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":[],"consensus_categories":[],"category_scores_codex":[0.001504962,0.0001723701,0.0001727583,0.0001115092,0.0002341976,0.0001566734,0.000672309,0.00009741655,0.000007949799],"category_scores_gemma":[0.0001014266,0.0001653968,0.00008503438,0.0003284176,0.002427998,0.000650855,0.0009371734,0.0001965342,0.00001775745],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000120562,"about_ca_system_score_gemma":0.00005933045,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005153791,"about_ca_topic_score_gemma":0.000004606418,"domain_scores_codex":[0.9981715,0.0001310681,0.0003148211,0.000442676,0.0005356976,0.0004042325],"domain_scores_gemma":[0.9986227,0.0003052164,0.0002173512,0.0006024176,0.000059603,0.0001927111],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00005796088,0.00008290125,0.00003458515,0.0000868553,0.0000180087,0.00001035842,0.001588128,0.00007158692,0.002503332,0.98976,0.00001958481,0.005766633],"study_design_scores_gemma":[0.0002805,0.000564022,0.001386804,0.000228146,0.00001975968,0.00009915484,0.0001478495,0.9558893,0.02271499,0.01847218,0.00002699298,0.0001702366],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8861259,0.00008452818,0.112869,0.0001595051,0.0003384464,0.00003871643,0.00001402048,0.00006417453,0.0003057151],"genre_scores_gemma":[0.9847783,0.00002079661,0.01486166,0.0002079782,0.0001023191,0.000005385385,0.000005795924,0.00001473824,0.000003001814],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.9712879,"threshold_uncertainty_score":0.8946061,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01421272971919194,"score_gpt":0.2448220362786901,"score_spread":0.2306093065594981,"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."}}