{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005014201,0.001412235,0.003041721,0.001391536,0.00215059,0.007819025,0.002777567,0.003217597,0.0160634],"category_scores_gemma":[0.0255069,0.001503695,0.002477802,0.00249667,0.005716682,0.0136223,0.003578906,0.007820068,0.001209646],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005540713,"about_ca_system_score_gemma":0.003400936,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003761731,"about_ca_topic_score_gemma":0.003143145,"domain_scores_codex":[0.9952257,0.002172949,0.0002712268,0.0009957224,0.0007466335,0.0005877755],"domain_scores_gemma":[0.9612786,0.03390953,0.001049225,0.001140497,0.001279471,0.001342799],"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.000120133,0.00008897795,0.0001771826,0.0001447456,0.0000385299,0.00007359618,0.000232194,0.01732579,0.0002655963,0.9676648,0.004802042,0.009066434],"study_design_scores_gemma":[0.00003006789,0.00001416253,0.00003964278,0.0000151671,0.00001036972,0.0000219246,0.00005104847,0.03903,0.00015701,0.959626,0.0009951184,0.000009415115],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1292001,0.003208983,0.7877523,0.01508562,0.0004069472,0.0004069918,0.001736769,0.0004716728,0.06173067],"genre_scores_gemma":[0.7884161,0.002780691,0.1500109,0.001591892,0.001089582,0.0009148442,0.002489022,0.0004259377,0.05228095],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0160634,"threshold_uncertainty_score":0.0537374,"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."}}