{"id":"W4205520528","doi":"10.1016/j.tcs.2018.07.015","title":"Complexity of proper prefix-convex regular languages","year":2018,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Prefix; Regular language; Mathematics; Combinatorics; Regular polygon; Prefix code; Discrete mathematics; Computer science; Algorithm; Theoretical computer science; Automaton; Linguistics","routes":{"ca_aff":true,"ca_fund":true,"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":["sts"],"consensus_categories":[],"category_scores_codex":[0.001603764,0.0001748241,0.0002668428,0.0001538466,0.000291067,0.0002052434,0.003297191,0.00005000459,0.0001338622],"category_scores_gemma":[0.00008205377,0.0001271603,0.000068832,0.001009737,0.01255269,0.0006106157,0.001512188,0.0001258122,0.0001248752],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002817756,"about_ca_system_score_gemma":0.0001079281,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007048477,"about_ca_topic_score_gemma":5.901944e-7,"domain_scores_codex":[0.9976877,0.0001297703,0.0003030121,0.0006666144,0.0006945154,0.0005183687],"domain_scores_gemma":[0.9979886,0.0001117239,0.0001000188,0.001282081,0.0003201987,0.0001974106],"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.000006617284,0.00005699556,0.00004340048,0.00001022297,0.000003971653,0.000004856171,0.0006129101,0.000002320874,0.005912905,0.9660798,0.00008054992,0.0271855],"study_design_scores_gemma":[0.0002510367,0.0004981975,0.002520477,0.000063344,0.00000527436,0.00005327941,0.00002270769,0.3252405,0.1528542,0.5179242,0.0002783915,0.0002883745],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1597903,0.00003743011,0.829464,0.0007277637,0.0003751156,0.0001516992,0.00000219084,0.0002457156,0.009205859],"genre_scores_gemma":[0.8223314,0.000001095117,0.1770096,0.0004608077,0.0001656267,0.000002866246,4.267996e-7,0.000006546201,0.00002162388],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6625412,"threshold_uncertainty_score":0.9901346,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0176986451496616,"score_gpt":0.2638837852512794,"score_spread":0.2461851401016178,"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."}}