{"id":"W2407154113","doi":"","title":"State complexity of prefix-free regular languages","year":2006,"lang":"en","type":"article","venue":"","topic":"semigroups and automata theory","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Prefix; Regular language; Computer science; State (computer science); Abstract family of languages; Theoretical computer science; Programming language; Arithmetic; Automaton; Mathematics; Linguistics; Second-generation 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":[],"consensus_categories":[],"category_scores_codex":[0.0001695468,0.0000665752,0.0001079374,0.000039189,0.00002840819,0.00003365492,0.0007937713,0.0000177233,0.00005319467],"category_scores_gemma":[0.000009942897,0.00005247023,0.00003878585,0.0001358492,0.00008975295,0.0001753672,0.0002770984,0.00003248137,0.00001729483],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000007478585,"about_ca_system_score_gemma":0.00001207887,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005136343,"about_ca_topic_score_gemma":0.00006433872,"domain_scores_codex":[0.9993627,0.00003262866,0.0001473644,0.0001595915,0.0001569238,0.0001407659],"domain_scores_gemma":[0.9991408,0.00003542906,0.00005580957,0.0007145636,0.00003015921,0.00002325167],"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.000001691041,0.00004875036,0.0003395995,0.00001198238,0.000004817356,0.000006330212,0.00008451507,0.00003255542,0.004279143,0.9819615,0.007615008,0.005614064],"study_design_scores_gemma":[0.00039961,0.00004971461,0.02716475,0.00001539491,0.000002850074,0.00001030031,0.00004675573,0.0133582,0.09445252,0.8622385,0.002087915,0.0001735014],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3912807,0.000374386,0.5186265,0.001071334,0.0001153004,0.0001288691,0.00001924683,0.0005271367,0.08785648],"genre_scores_gemma":[0.9161382,0.000002090315,0.08115655,0.0001292671,0.00002595823,0.000001801024,0.000003211249,0.000004505002,0.00253837],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5248575,"threshold_uncertainty_score":0.2139674,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01382516659237798,"score_gpt":0.2287420467620508,"score_spread":0.2149168801696728,"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."}}