{"id":"W1943597037","doi":"10.3233/fi-2012-670","title":"State Complexity of Combined Operations with Union, Intersection, Star and Reversal","year":2012,"lang":"en","type":"article","venue":"Fundamenta Informaticae","topic":"semigroups and automata theory","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"","keywords":"Intersection (aeronautics); Star (game theory); State (computer science); Regular language; Mathematics; Combined operations; Computer science; Discrete mathematics; Combinatorics; Algorithm; Theoretical computer science; Automaton; Political science; Engineering","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.0003507019,0.00009614957,0.000135539,0.00007599552,0.0001184875,0.00009428529,0.0002278881,0.00001786717,0.0000504417],"category_scores_gemma":[0.00001085398,0.00007396863,0.00001703407,0.0001795946,0.000186322,0.00185383,0.0001802183,0.00007102406,0.0000205081],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000355046,"about_ca_system_score_gemma":0.00002777628,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007235669,"about_ca_topic_score_gemma":0.00002236798,"domain_scores_codex":[0.9992509,0.00004380028,0.0002758328,0.00007343708,0.0001617833,0.0001942233],"domain_scores_gemma":[0.9994376,0.0000370129,0.0000815362,0.0002846658,0.00005808493,0.0001011003],"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.00008529065,0.0004480485,0.01935787,0.0002710776,0.0002027056,0.000001364693,0.05509916,0.0001811028,0.001171525,0.9098322,0.003792683,0.009556958],"study_design_scores_gemma":[0.01076041,0.004599011,0.3413331,0.0007758467,0.000141251,0.0003672018,0.02384539,0.5343488,0.02532814,0.03203844,0.02411429,0.002348048],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8081799,0.00001941906,0.1897773,0.0003871201,0.0001478586,0.0001872426,0.00001673375,0.00008126486,0.001203188],"genre_scores_gemma":[0.9686393,0.000005522299,0.030907,0.0003486609,0.00001043476,0.00000735028,0.00001326428,0.000003923891,0.0000645935],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8777938,"threshold_uncertainty_score":0.3016353,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01934586444064587,"score_gpt":0.2307020501458066,"score_spread":0.2113561857051607,"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."}}