{"id":"W2676854164","doi":"10.1016/j.ic.2010.11.009","title":"Decision problems for convex languages","year":2010,"lang":"en","type":"article","venue":"Information and Computation","topic":"semigroups and automata theory","field":"Computer Science","cited_by":20,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Prefix; Suffix; Regular language; Mathematics; Computer science; Combinatorics; Abstract family of languages; Time complexity; Discrete mathematics; Linguistics; Automaton; Artificial intelligence; 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.0002048718,0.00004939157,0.00005160111,0.00007274916,0.00008649929,0.0002289663,0.0001143628,0.00003600126,0.000003977842],"category_scores_gemma":[0.00003582345,0.00004236569,0.00001635329,0.00007808711,0.00001383323,0.001324215,0.00003516639,0.00004662937,0.00002428946],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000003467698,"about_ca_system_score_gemma":0.00001379405,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004335298,"about_ca_topic_score_gemma":0.00000284634,"domain_scores_codex":[0.999617,0.000005553499,0.0001535299,0.00006397969,0.0000871492,0.00007283559],"domain_scores_gemma":[0.9996266,0.0001067711,0.00007344624,0.00008370013,0.00007717016,0.00003225798],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000002819205,0.000005605394,0.00004329375,0.00001616773,0.00000184323,6.431902e-8,0.0009505085,0.0002463158,0.0002980219,0.1360325,0.0005886855,0.8618141],"study_design_scores_gemma":[0.000507172,0.00004426877,0.003342766,0.00001083437,0.000001677509,0.00001471198,0.0001143039,0.9255173,0.0005019735,0.04896327,0.02088394,0.00009784364],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1003275,0.0000133517,0.8981115,0.0002652054,0.0002650487,0.0001597946,0.000002218439,0.0001251206,0.0007302093],"genre_scores_gemma":[0.9066108,0.000003312012,0.09275766,0.0005450576,0.00002570135,0.00001719885,0.00002564306,0.00000176484,0.00001284265],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9252709,"threshold_uncertainty_score":0.2207927,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.006772956264340065,"score_gpt":0.2565013127934235,"score_spread":0.2497283565290834,"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."}}