{"id":"W1546124752","doi":"","title":"The State Complexity of Two Combined Operations: Star of Catenation and Star of Reversal","year":2008,"lang":"en","type":"article","venue":"Fundamenta Informaticae","topic":"semigroups and automata theory","field":"Computer Science","cited_by":53,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University; Western University","funders":"","keywords":"Catenation; Star (game theory); Combined operations; State (computer science); Automaton; Computer science; Regular language; Theoretical computer science; Algorithm; Mathematics","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.0004492489,0.00008170673,0.0001836889,0.0000637494,0.0001495776,0.00003180852,0.0003930732,0.0000158024,0.00001299848],"category_scores_gemma":[0.00003964096,0.00005807372,0.00003224246,0.0001788106,0.0004478066,0.0007096348,0.000196279,0.00005525527,0.000003554623],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002191779,"about_ca_system_score_gemma":0.00006913815,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002239333,"about_ca_topic_score_gemma":0.00002667451,"domain_scores_codex":[0.9988824,0.00005212764,0.0005883736,0.00007171229,0.0002780157,0.0001274473],"domain_scores_gemma":[0.9990932,0.0001452292,0.0002382442,0.0003512658,0.0001341238,0.00003789667],"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.000172832,0.0004313369,0.003817347,0.0005623153,0.0002531187,0.000002957087,0.06031155,0.0009582615,0.012711,0.9075485,0.001987646,0.01124309],"study_design_scores_gemma":[0.004246203,0.001119229,0.04779093,0.0001984909,0.0000304578,0.00003200144,0.00313122,0.8376162,0.05613612,0.04844951,0.0008591126,0.0003905008],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.985636,0.00006154774,0.0133954,0.0002265145,0.00006952976,0.0002346941,0.00004484908,0.0000219997,0.0003094931],"genre_scores_gemma":[0.9818788,0.00009427071,0.01786666,0.00009622404,0.000003345962,0.000005211058,0.00001238298,0.00000284803,0.00004029097],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.859099,"threshold_uncertainty_score":0.2368178,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03127157510158429,"score_gpt":0.2525004377000977,"score_spread":0.2212288625985134,"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."}}