{"id":"W2400176033","doi":"10.1016/s0304-3975(04)00143-4","title":"On the number of nonterminals in linear conjunctive grammars*1","year":2004,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"","keywords":"Terminal and nonterminal symbols; Indexed grammar; Mathematics; Context-sensitive grammar; Disjoint sets; Discrete mathematics; Combinatorics; Rule-based machine translation; Computer science; Context-free grammar; Natural language processing","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.009187085,0.001532796,0.003538761,0.002937829,0.004593369,0.007084065,0.005501327,0.005157026,0.01470914],"category_scores_gemma":[0.06065893,0.002620276,0.002152692,0.00338718,0.009776243,0.03130268,0.004914436,0.007215186,0.001752317],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003258956,"about_ca_system_score_gemma":0.001744689,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001290043,"about_ca_topic_score_gemma":0.001614992,"domain_scores_codex":[0.991028,0.003866445,0.0006565983,0.001804932,0.001639533,0.001004451],"domain_scores_gemma":[0.7563949,0.224175,0.004970118,0.007059858,0.003544956,0.003855248],"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.0007605657,0.0001661311,0.003745394,0.0004280974,0.00005358942,0.0004274029,0.001063822,0.03220949,0.003189836,0.9284713,0.005357639,0.02412668],"study_design_scores_gemma":[0.00004886068,0.00005561582,0.0005288649,0.00005738711,0.00004460898,0.0002366102,0.0001418801,0.06467699,0.001387149,0.93089,0.001895498,0.00003653923],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3715745,0.003458792,0.5283237,0.01296481,0.001136109,0.0001860117,0.001607102,0.001460896,0.07928811],"genre_scores_gemma":[0.8596938,0.001781905,0.1139907,0.0010833,0.001278566,0.0004134751,0.00123507,0.001017292,0.01950583],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01470914,"threshold_uncertainty_score":0.04920697,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009711916773719308,"score_gpt":0.2632984173633767,"score_spread":0.2535865005896574,"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."}}