{"id":"W95660754","doi":"","title":"Languages convex with respect to binary relations, and their closure properties","year":2009,"lang":"en","type":"article","venue":"Acta Cybernetica","topic":"semigroups and automata theory","field":"Computer Science","cited_by":27,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Prefix; Closure (psychology); Suffix; Mathematics; Regular language; Prefix code; Abstract family of languages; Set (abstract data type); Regular polygon; Combinatorics; Discrete mathematics; Computer science; Linguistics; Theoretical computer science; Programming language; Algorithm; Second-generation programming language; Decoding methods; Block code; Linear code","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.0001322086,0.0001195024,0.000121896,0.00006265267,0.00008517001,0.0001305909,0.0003370587,0.00003886304,0.0000183623],"category_scores_gemma":[0.00003175811,0.00007370957,0.00001731727,0.0001915621,0.00005108033,0.0002071623,0.00009375322,0.0000890253,0.00003326197],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000111386,"about_ca_system_score_gemma":0.00002680618,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001386383,"about_ca_topic_score_gemma":0.000004672143,"domain_scores_codex":[0.9992825,0.00004909282,0.0001006489,0.0002714141,0.0001127118,0.0001836526],"domain_scores_gemma":[0.9993818,0.00006486171,0.00002912405,0.0004101762,0.00002909935,0.00008498295],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"observational","study_design_scores_codex":[0.000317209,0.0004678308,0.006710696,0.00004643336,0.0001471733,0.0002453709,0.04101469,0.00007988358,0.1647371,0.5520362,0.04566574,0.1885316],"study_design_scores_gemma":[0.002617127,0.006428465,0.7279903,0.0008942821,0.00006332283,0.0006626926,0.00380099,0.01540127,0.08412141,0.04785448,0.1076965,0.002469116],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9743394,0.001153861,0.00140733,0.01332051,0.0000297015,0.0002015811,0.000002045678,0.0002469424,0.009298649],"genre_scores_gemma":[0.9923858,0.00001874969,0.005260132,0.001233475,0.00003645085,0.000006179196,0.000001071958,0.000007106579,0.001051029],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.7212797,"threshold_uncertainty_score":0.3005789,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008254940453334412,"score_gpt":0.2102712785417305,"score_spread":0.2020163380883961,"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."}}