{"id":"W48869925","doi":"10.1007/978-3-642-31623-4_20","title":"State Complexity and Limited Nondeterminism","year":2012,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"","keywords":"Computer science; State (computer science); Theoretical computer science; Programming language","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.000975084,0.0005475847,0.0005528615,0.0006172381,0.0002696025,0.0006008819,0.002533073,0.0002358517,0.00002867835],"category_scores_gemma":[0.0000388884,0.0004872312,0.00009320904,0.0003534424,0.001333008,0.0008411479,0.002201186,0.000689419,0.00005727902],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001285037,"about_ca_system_score_gemma":0.0002034309,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001843958,"about_ca_topic_score_gemma":0.00002774345,"domain_scores_codex":[0.9966601,0.00004475643,0.0004595434,0.001309612,0.0007133171,0.0008127043],"domain_scores_gemma":[0.9974593,0.0004661662,0.0002682934,0.001395542,0.0001167658,0.0002939477],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000003487566,0.00002332084,0.0000637164,0.00003314687,0.000008691619,0.00006226604,0.001004662,0.000238015,0.00016677,0.04505257,0.00001293681,0.9533304],"study_design_scores_gemma":[0.0003282593,0.0001594704,0.001284279,0.0002791037,0.000009467675,0.000244054,1.590089e-7,0.3391628,0.001143014,0.6538225,0.002592084,0.0009747752],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0009863743,0.001161598,0.9935696,0.0004729998,0.00125069,0.0002789395,0.00001110023,0.0002499956,0.002018681],"genre_scores_gemma":[0.4688828,0.0002241886,0.525977,0.003717262,0.0005903658,0.000009718073,0.000009179513,0.00006664245,0.000522845],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9523556,"threshold_uncertainty_score":0.9997579,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02929549990391076,"score_gpt":0.2470239067487991,"score_spread":0.2177284068448884,"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."}}