{"id":"W2618190110","doi":"10.1007/978-3-319-60134-2_5","title":"Complexity of Proper Prefix-Convex Regular Languages","year":2017,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Prefix; Regular language; Regular polygon; Combinatorics; Prefix code; Computer science; Discrete mathematics; Alphabet; Mathematics; Theoretical computer science; Algorithm; Linguistics; Automaton","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","open_science"],"consensus_categories":[],"category_scores_codex":[0.001072041,0.0004812921,0.0007309322,0.0004769416,0.0002843557,0.0004441054,0.006094109,0.0002891162,0.00004323168],"category_scores_gemma":[0.000114431,0.0003900776,0.0001705081,0.0001631433,0.002504399,0.0006824696,0.002170339,0.0005717549,0.00003779414],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000111641,"about_ca_system_score_gemma":0.000403867,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005464007,"about_ca_topic_score_gemma":0.00004448254,"domain_scores_codex":[0.9966403,0.00004501425,0.0005044684,0.00131359,0.0009406152,0.000556059],"domain_scores_gemma":[0.9958473,0.0001985562,0.0005612554,0.003013373,0.0002415737,0.0001379321],"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.000008194838,0.00005126378,0.00006824193,0.0001483706,0.00002557215,0.000126646,0.001112997,0.0008837616,0.001142717,0.2368935,0.0000610999,0.7594776],"study_design_scores_gemma":[0.0004731053,0.0002737467,0.0007857967,0.001256439,0.00001780543,0.0001358018,5.789917e-7,0.1848729,0.01927779,0.7882245,0.003548208,0.001133363],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0003725889,0.0009008299,0.9837488,0.0006483455,0.000926405,0.0003805824,0.00001249106,0.0001701973,0.01283977],"genre_scores_gemma":[0.5256501,0.00006036599,0.4699368,0.001040315,0.0006081973,0.00001197459,0.00001062077,0.00006353675,0.002618117],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7583443,"threshold_uncertainty_score":0.9998551,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02884657845516872,"score_gpt":0.2612156032773482,"score_spread":0.2323690248221795,"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."}}