{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001232985,0.0007409359,0.001387654,0.001324501,0.001433997,0.00756593,0.00237264,0.001451993,0.01253095],"category_scores_gemma":[0.01078577,0.0009181714,0.001509738,0.002243066,0.003867394,0.0149167,0.00338287,0.004621064,0.001158467],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003219592,"about_ca_system_score_gemma":0.001499075,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001416359,"about_ca_topic_score_gemma":0.001031999,"domain_scores_codex":[0.9971784,0.0005743289,0.0001676655,0.0005798638,0.001142588,0.0003571847],"domain_scores_gemma":[0.9885915,0.008768827,0.0005969587,0.000841656,0.0006241669,0.0005770556],"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.0001254065,0.00004006363,0.0005222859,0.0001378894,0.00001949736,0.0001012054,0.0004859941,0.00898466,0.001125856,0.9765168,0.002079476,0.009860828],"study_design_scores_gemma":[0.00001469078,0.000009692378,0.0002098002,0.00001003894,0.000008990491,0.00007968776,0.00005773639,0.01576592,0.0004269251,0.9823784,0.001026462,0.00001173383],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5573105,0.002276719,0.3037953,0.0074732,0.0002413393,0.0001473461,0.002451722,0.0007548773,0.1255489],"genre_scores_gemma":[0.9485477,0.001206863,0.02623559,0.0003688087,0.0004901331,0.0001881764,0.001630196,0.0003141783,0.02101827],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01253095,"threshold_uncertainty_score":0.04192019,"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."}}