{"id":"W2066620717","doi":"10.1016/j.ic.2008.03.018","title":"State complexity of basic language operations combined with reversal","year":2008,"lang":"en","type":"article","venue":"Information and Computation","topic":"semigroups and automata theory","field":"Computer Science","cited_by":36,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"","keywords":"State (computer science); Computer science; Theoretical computer science; Programming language; Algorithm","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.00009571309,0.00005931095,0.0000840947,0.0000829308,0.0001165174,0.00005147859,0.00009987493,0.0000148264,0.000004475038],"category_scores_gemma":[0.000006960584,0.0000491026,0.0000124599,0.0001804132,0.00008316193,0.001391609,0.00003672127,0.00003897238,0.00001060514],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000009605185,"about_ca_system_score_gemma":0.00003875469,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006149166,"about_ca_topic_score_gemma":0.00001033521,"domain_scores_codex":[0.9995083,0.00002661644,0.0001949103,0.00006078355,0.000140888,0.00006855364],"domain_scores_gemma":[0.9996806,0.00002541674,0.00007821442,0.0001003411,0.0000830298,0.00003239353],"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.0002422388,0.0002640479,0.003188106,0.0002362428,0.0000975445,0.00001875456,0.1249781,0.07889218,0.0009974986,0.5077166,0.00190371,0.281465],"study_design_scores_gemma":[0.001083262,0.000237382,0.03381025,0.00002106889,0.000003228996,0.00006023675,0.0004588958,0.9603531,0.001229408,0.002483605,0.0001283158,0.0001312571],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4893164,0.00000777783,0.509967,0.0001504115,0.00002545893,0.00007533073,0.000004230964,0.00006031692,0.0003930109],"genre_scores_gemma":[0.973356,0.00000657996,0.02628871,0.0002812176,0.000004092043,0.000003368776,0.00004300291,0.000001633809,0.00001540741],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8814609,"threshold_uncertainty_score":0.2002346,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01625832527142936,"score_gpt":0.2311490287129097,"score_spread":0.2148907034414804,"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."}}