{"id":"W2406664471","doi":"","title":"Estimation of State Complexity of Combined Operations.","year":2008,"lang":"en","type":"article","venue":"DCFS","topic":"semigroups and automata theory","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"","keywords":"Catenation; State (computer science); Alphabet; Upper and lower bounds; Mathematics; Regular language; Computer science; Theoretical computer science; Algorithm; Discrete mathematics; Automaton; Linguistics","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.000107805,0.00003994733,0.00009829813,0.0000382716,0.00004453157,0.000006973134,0.0002409027,0.00001177039,0.00001463824],"category_scores_gemma":[0.00001916882,0.00003616945,0.00002325326,0.0001432444,0.000108833,0.0001892866,0.00005957764,0.00002431892,0.00001006292],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00000586249,"about_ca_system_score_gemma":0.00002891971,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006671706,"about_ca_topic_score_gemma":0.000003544504,"domain_scores_codex":[0.9995518,0.00002903665,0.0001634606,0.00008226846,0.0001123637,0.00006108383],"domain_scores_gemma":[0.9996114,0.00002925629,0.00004886587,0.0002446432,0.00004697197,0.0000188117],"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.00001631577,0.0002505629,0.0009164282,0.00005351233,0.00002543836,0.000007575482,0.004646303,0.02256161,0.01451636,0.9066924,0.0009764952,0.04933693],"study_design_scores_gemma":[0.0002945177,0.00007800513,0.01873393,0.00001328215,0.000001494829,0.00000719933,0.000009162548,0.8986973,0.05843501,0.02362455,0.00004361149,0.0000619096],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6475559,0.00001736198,0.3517852,0.0001370674,0.00004984092,0.00004702208,0.000004982156,0.00003457572,0.0003680935],"genre_scores_gemma":[0.9531761,0.000004687351,0.04670675,0.00004239269,0.000004167771,0.000001655993,0.000005640746,0.000001901366,0.00005665648],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8830679,"threshold_uncertainty_score":0.1474947,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03663116717581648,"score_gpt":0.2526408769094715,"score_spread":0.216009709733655,"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."}}