{"id":"W1503701362","doi":"10.1007/3-540-45005-x_35","title":"Automaton Representation of Linear Conjunctive Languages","year":2003,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Cellular Automata and Applications","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"","keywords":"Equivalence (formal languages); Computer science; Context-free language; Embedded pushdown automaton; Rule-based machine translation; Theoretical computer science; Automaton; Deterministic context-free grammar; Intersection (aeronautics); Discrete mathematics; Algorithm; Algebra over a field; Context-free grammar; Mathematics; Tree-adjoining grammar; Artificial intelligence; Pure mathematics","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.0002350029,0.0004156328,0.0004893318,0.0006439731,0.0006378274,0.002352914,0.001143481,0.000643712,0.01485257],"category_scores_gemma":[0.0009579211,0.0003624302,0.0009474412,0.0009225541,0.0007595776,0.001857273,0.0006834021,0.001005784,0.00256457],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009038076,"about_ca_system_score_gemma":0.0007810087,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003720616,"about_ca_topic_score_gemma":0.004942073,"domain_scores_codex":[0.9996613,0.00007638463,0.00003547635,0.00008476282,0.00008124219,0.00006075835],"domain_scores_gemma":[0.999442,0.0002562173,0.00004503527,0.00008335945,0.0001476431,0.00002570169],"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.0001909989,0.00009910081,0.000385697,0.0002808774,0.00003433784,0.0003434991,0.0008198997,0.03604911,0.01078153,0.8696597,0.007401668,0.07395359],"study_design_scores_gemma":[0.00006283248,0.00007343871,0.0001707477,0.00007231822,0.00005134756,0.0002264489,0.0002610759,0.358457,0.008064166,0.6097175,0.0227916,0.00005157892],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05145444,0.0006405246,0.8969414,0.0005110914,0.000228514,0.0001626584,0.002013207,0.004667942,0.04338031],"genre_scores_gemma":[0.7077475,0.0005682755,0.2592951,0.0002273864,0.0001074377,0.000409102,0.00326783,0.000553266,0.0278241],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01485257,"threshold_uncertainty_score":0.04968685,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01573108647875609,"score_gpt":0.2762356068548463,"score_spread":0.2605045203760902,"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."}}