{"id":"W2089455626","doi":"10.1142/s0129054112400047","title":"STATE COMPLEXITY OF TWO COMBINED OPERATIONS: CATENATION-STAR AND CATENATION-REVERSAL","year":2012,"lang":"en","type":"article","venue":"International Journal of Foundations of Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"","keywords":"Catenation; Combined operations; Continuation; State (computer science); Star (game theory); Computer science; Mathematics; Algorithm; Programming language; History","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.00134057,0.0005579232,0.0008057437,0.001015934,0.001358563,0.004679887,0.001593754,0.001178328,0.0144514],"category_scores_gemma":[0.01140285,0.000446575,0.001864963,0.001172966,0.002125061,0.01012667,0.002898839,0.002950327,0.0007080974],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00205776,"about_ca_system_score_gemma":0.002164203,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001746823,"about_ca_topic_score_gemma":0.00204854,"domain_scores_codex":[0.9973657,0.0005085741,0.0002171096,0.0005327944,0.0007713436,0.0006045013],"domain_scores_gemma":[0.9807896,0.01377836,0.001197677,0.002472268,0.001090254,0.0006717524],"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.001463032,0.0004152935,0.007145211,0.0005433115,0.0001359368,0.0004642388,0.00108448,0.09672843,0.01761264,0.8164917,0.003483825,0.05443184],"study_design_scores_gemma":[0.00008434532,0.0002483297,0.002128559,0.00004097383,0.0001685227,0.0003434916,0.0004296909,0.3088624,0.02250241,0.6613394,0.003743085,0.0001088127],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.755695,0.0003709313,0.2132387,0.001274838,0.00009423871,0.0002273187,0.001079839,0.0006280209,0.02739104],"genre_scores_gemma":[0.9689066,0.0001844488,0.02524994,0.00006334748,0.00004385383,0.0001540985,0.0006478578,0.000168472,0.004581465],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.0144514,"threshold_uncertainty_score":0.04834479,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03211804920181332,"score_gpt":0.3122282846005669,"score_spread":0.2801102353987536,"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."}}