{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001637337,0.0007780467,0.001633187,0.002577824,0.002880173,0.004511204,0.001586309,0.001937872,0.01236683],"category_scores_gemma":[0.008227409,0.0007343426,0.001956342,0.002948675,0.005992125,0.01629394,0.003730844,0.005066698,0.001348198],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003949325,"about_ca_system_score_gemma":0.001321295,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001577099,"about_ca_topic_score_gemma":0.000854401,"domain_scores_codex":[0.9983526,0.0003510054,0.0001260205,0.0003619072,0.0004833404,0.0003251679],"domain_scores_gemma":[0.9926479,0.005530125,0.000234401,0.0008306369,0.0004770317,0.0002799652],"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.00001645193,0.000008451932,0.00006099585,0.00002012742,0.000003788259,0.00001390602,0.0001336749,0.0008745101,0.0001601566,0.9944314,0.0007439715,0.003532533],"study_design_scores_gemma":[0.000005251738,0.000006156532,0.00006934354,0.000005412872,0.000005978262,0.00002468428,0.00002422836,0.00390683,0.0002583415,0.993979,0.001706425,0.000008427438],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2423073,0.003743506,0.4083635,0.01261265,0.0006925645,0.0001636871,0.000634899,0.0007201072,0.3307618],"genre_scores_gemma":[0.9319183,0.00120776,0.02307673,0.000507885,0.0005382054,0.0001822558,0.0002303923,0.0002398481,0.04209865],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01236683,"threshold_uncertainty_score":0.04137117,"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."}}