{"id":"W2073577522","doi":"10.1016/s0304-3975(02)00543-1","title":"On the closure properties of linear conjunctive languages","year":2003,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":26,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"","keywords":"Indexed grammar; Context-sensitive grammar; Closure (psychology); Context-free grammar; Definite clause grammar; Mathematics; L-attributed grammar; Phrase structure grammar; Rule-based machine translation; Computer science; Discrete mathematics; Tree-adjoining grammar; Context-free language; Artificial intelligence","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.004746198,0.0007699112,0.001556818,0.001828448,0.002631539,0.005187367,0.001995766,0.001830322,0.008017726],"category_scores_gemma":[0.01779753,0.001174907,0.002036534,0.002028896,0.006733885,0.0186934,0.003701257,0.005059024,0.0008978614],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001938159,"about_ca_system_score_gemma":0.001209067,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002011122,"about_ca_topic_score_gemma":0.001185421,"domain_scores_codex":[0.9973813,0.0007980567,0.0002422193,0.0005209428,0.0006354013,0.0004221222],"domain_scores_gemma":[0.9550427,0.03854797,0.001614482,0.00197058,0.001725835,0.001098393],"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.0005425253,0.0001837736,0.001163542,0.0002128821,0.00003262275,0.0006131665,0.002274069,0.003136662,0.004976492,0.967378,0.002735728,0.01675047],"study_design_scores_gemma":[0.00006146884,0.00006757221,0.0003535468,0.00003829784,0.00002307175,0.0002016505,0.0002986762,0.009510281,0.001312523,0.9857905,0.002317741,0.00002471077],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4785111,0.004574941,0.4016877,0.008472922,0.0005597085,0.0002278101,0.001290164,0.001128142,0.1035475],"genre_scores_gemma":[0.9360494,0.001849461,0.04652439,0.001017553,0.0009524666,0.0002163037,0.001333785,0.0004356686,0.01162103],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.008017726,"threshold_uncertainty_score":0.02682197,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01189432227494627,"score_gpt":0.2284202001194757,"score_spread":0.2165258778445295,"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."}}