{"id":"W1593046698","doi":"10.1007/978-3-642-18098-9_11","title":"State Complexity of Catenation Combined with Union and Intersection","year":2011,"lang":"en","type":"book-chapter","venue":"Lecture notes in 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":"Catenation; Intersection (aeronautics); State (computer science); Computer science; Combined operations; Composition (language); Algorithm; Engineering; Law; Political science","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.000680625,0.0002891636,0.0003540395,0.0005411482,0.0001088097,0.0001335529,0.001019579,0.0001127293,0.000007956178],"category_scores_gemma":[0.00001488881,0.000228718,0.00003783429,0.0003265493,0.001184614,0.0005252248,0.0005813487,0.0003155038,0.00000313794],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001055051,"about_ca_system_score_gemma":0.0001438743,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000120035,"about_ca_topic_score_gemma":0.0002030172,"domain_scores_codex":[0.9981916,0.00004252939,0.0003205957,0.0007508436,0.0004274495,0.0002669891],"domain_scores_gemma":[0.9986265,0.0001292904,0.0003235012,0.0006342494,0.0002063135,0.00008014227],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00005688302,0.00005823582,0.0002056125,0.0001006081,0.0000237343,0.00002859154,0.00325259,0.001837497,0.0006085554,0.2129577,0.000005506073,0.7808645],"study_design_scores_gemma":[0.0004705099,0.0008873483,0.002426381,0.0004692465,0.000008403782,0.0000776469,4.937243e-7,0.2310559,0.006205697,0.7578874,0.00005848312,0.0004524529],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004419302,0.00007759317,0.993354,0.0001759205,0.0004658144,0.0002381858,0.000003892455,0.00009395308,0.00117139],"genre_scores_gemma":[0.9089015,0.00002320984,0.09076719,0.0001692656,0.00003578631,0.00000266836,0.000004682213,0.00001544207,0.00008029235],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9044822,"threshold_uncertainty_score":0.9326848,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02188874904367145,"score_gpt":0.2190697652432465,"score_spread":0.1971810161995751,"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."}}