{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001715716,0.0004513679,0.001225853,0.001414418,0.002385783,0.006797786,0.001937872,0.002030912,0.02566034],"category_scores_gemma":[0.0186726,0.0006784646,0.002005083,0.001532581,0.002706144,0.01149637,0.002942031,0.002724379,0.001156433],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003787868,"about_ca_system_score_gemma":0.003293333,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.009574852,"about_ca_topic_score_gemma":0.01065912,"domain_scores_codex":[0.9970963,0.0005424797,0.0002331392,0.0007081645,0.0006927809,0.0007272451],"domain_scores_gemma":[0.9661543,0.02635246,0.001690698,0.002312333,0.001867835,0.001622382],"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.002512293,0.0003946157,0.01399247,0.0005911284,0.0001524539,0.0005710277,0.001673104,0.1146717,0.005518539,0.8070678,0.01502615,0.03782877],"study_design_scores_gemma":[0.0001455501,0.0001163681,0.003254798,0.00004734517,0.0001066081,0.0002426522,0.0005700778,0.3094924,0.005604225,0.6780177,0.002323967,0.0000783069],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8992075,0.0003684497,0.06335511,0.002660342,0.00007432578,0.0001160362,0.004059041,0.0009365372,0.02922264],"genre_scores_gemma":[0.9825497,0.0001045095,0.009110152,0.00009729536,0.00004745127,0.00006907299,0.002341594,0.0001587821,0.005521596],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.02566034,"threshold_uncertainty_score":0.08584237,"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."}}