{"id":"W1598706676","doi":"10.1007/3-540-44674-5_23","title":"State Complexity and Jacobsthal’s Function","year":2001,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Intersection (aeronautics); Alphabet; State (computer science); Connection (principal bundle); Function (biology); Theoretical computer science; Algorithm; 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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0008173614,0.0004795818,0.0004592152,0.000567939,0.0002926351,0.0006456741,0.001872116,0.0002031087,0.00004216001],"category_scores_gemma":[0.00003162702,0.0004330683,0.00008323425,0.0004408139,0.001018255,0.0007309874,0.001357472,0.0006296046,0.00004943681],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001579479,"about_ca_system_score_gemma":0.0001926704,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004052214,"about_ca_topic_score_gemma":0.00007726091,"domain_scores_codex":[0.9967921,0.00003760631,0.0004066535,0.001449493,0.0007092403,0.0006049157],"domain_scores_gemma":[0.9979977,0.0003069238,0.0002277485,0.001141643,0.00013234,0.0001936629],"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.00000702646,0.00001836781,0.00007414824,0.00002450298,0.000009466708,0.00008432497,0.0003503179,0.001701267,0.00007651917,0.0914232,0.00003214466,0.9061987],"study_design_scores_gemma":[0.000214596,0.0001513288,0.0008675328,0.0001599975,0.000005761912,0.0001430979,1.264132e-7,0.2635251,0.0001628683,0.7303708,0.003879891,0.0005189725],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0005649666,0.0007581265,0.9900383,0.0005245364,0.001434536,0.0002468717,0.000005847607,0.0002606467,0.006166148],"genre_scores_gemma":[0.5385379,0.0005134304,0.4497533,0.007587567,0.001120448,0.00001850616,0.00002086942,0.0001166802,0.002331335],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9056798,"threshold_uncertainty_score":0.9998121,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02308555499415458,"score_gpt":0.2332474879777392,"score_spread":0.2101619329835846,"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."}}