{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003100908,0.0006574638,0.001993236,0.001522188,0.001343486,0.005875134,0.002488408,0.002064943,0.01237318],"category_scores_gemma":[0.0276492,0.0008653142,0.002045055,0.001849302,0.003158939,0.01541734,0.00281572,0.003935843,0.0008601943],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002062082,"about_ca_system_score_gemma":0.002193633,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001531146,"about_ca_topic_score_gemma":0.001352883,"domain_scores_codex":[0.9972048,0.0007299404,0.0002285096,0.0004615432,0.0008870434,0.0004881575],"domain_scores_gemma":[0.953989,0.03498785,0.001638292,0.006444414,0.001879368,0.001060968],"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.0004674945,0.0001345641,0.001200615,0.000150257,0.00002887668,0.0001440605,0.0003171711,0.03913746,0.004103403,0.9311361,0.002046532,0.02113348],"study_design_scores_gemma":[0.00003196071,0.00004719056,0.0003737129,0.00001172354,0.00002840197,0.00009248799,0.00005498032,0.1765112,0.003081947,0.8191835,0.0005471883,0.00003580884],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5143172,0.0006803813,0.4484307,0.002278168,0.0002052786,0.0001624427,0.0008420839,0.001189201,0.03189455],"genre_scores_gemma":[0.9732739,0.0002406593,0.02191744,0.0001017796,0.0001559487,0.0001016207,0.000364672,0.000204558,0.003639461],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01237318,"threshold_uncertainty_score":0.04139239,"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."}}