{"id":"W2275529993","doi":"10.1007/978-3-319-09704-6_29","title":"State Complexity of Unary Language Operations for NFAs with Limited Nondeterminism","year":2014,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"","keywords":"Unary operation; Computer science; State (computer science); Programming language; Theoretical computer science; Discrete mathematics; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001666031,0.0005804805,0.001249397,0.001101479,0.001271625,0.005881018,0.002060861,0.001297401,0.008699817],"category_scores_gemma":[0.01296082,0.000715015,0.002136065,0.001347397,0.002423023,0.0120101,0.002117104,0.003802185,0.0006026056],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003290794,"about_ca_system_score_gemma":0.002029739,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002903385,"about_ca_topic_score_gemma":0.003103085,"domain_scores_codex":[0.9971293,0.0005743357,0.0001970841,0.0005143343,0.001004538,0.0005804928],"domain_scores_gemma":[0.9796066,0.01659495,0.0007980182,0.001727986,0.0008328612,0.0004395897],"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.0005929338,0.000189128,0.00217977,0.0003609604,0.00008126564,0.0001979034,0.001149459,0.07260387,0.007103487,0.8715664,0.003283133,0.04069169],"study_design_scores_gemma":[0.00002721973,0.00003349758,0.000516604,0.00002296665,0.00003225015,0.00006872562,0.00009843683,0.1430964,0.002183201,0.8530788,0.0008112095,0.00003070975],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6906768,0.0012588,0.2644449,0.002114169,0.0001376357,0.0001325781,0.001134319,0.0006257219,0.03947504],"genre_scores_gemma":[0.9729736,0.0004281296,0.01934854,0.0000772107,0.000119391,0.0001144675,0.0005894531,0.000208949,0.006140219],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.008699817,"threshold_uncertainty_score":0.02910376,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02260756669048386,"score_gpt":0.2554334232022315,"score_spread":0.2328258565117476,"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."}}