{"id":"W6884563285","doi":"10.1051/ita:2004004/pdf","title":"On the equivalence of linear conjunctive grammars and trellis automata","year":2004,"lang":"en","type":"article","venue":"Springer Link (Chiba Institute of Technology)","topic":"Cellular Automata and Applications","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Equivalence (formal languages); Rule-based machine translation; Deterministic context-free grammar; Logical equivalence; Turing machine; Embedded pushdown automaton; Trellis (graph); Automaton; Class (philosophy)","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.002054158,0.0004385579,0.000704225,0.001032425,0.001770788,0.002843942,0.001329953,0.001202901,0.006349683],"category_scores_gemma":[0.01180846,0.0004337801,0.001220889,0.001204566,0.005723657,0.006786971,0.002614584,0.003161501,0.000870265],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001676425,"about_ca_system_score_gemma":0.0009921101,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003316414,"about_ca_topic_score_gemma":0.001484565,"domain_scores_codex":[0.9971029,0.0006702973,0.0001923271,0.0006557769,0.0009617191,0.0004169821],"domain_scores_gemma":[0.9914531,0.006246566,0.0004532428,0.0007057401,0.0009017928,0.0002395364],"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.00002766158,0.00002198773,0.0001254786,0.00002338714,0.000005456064,0.0001304445,0.0003893972,0.003477841,0.0008739061,0.9861532,0.0005169786,0.008254125],"study_design_scores_gemma":[0.00001113692,0.00002033331,0.0001284249,0.00001439877,0.000006215293,0.0001011989,0.00005642671,0.01248345,0.001119038,0.9823067,0.003739211,0.00001347387],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1198289,0.002532427,0.7049638,0.003055919,0.0006874459,0.0001727931,0.0004904392,0.0009239592,0.1673445],"genre_scores_gemma":[0.8959516,0.002090669,0.08398818,0.001105071,0.0007773978,0.0002336639,0.0006633769,0.0004188744,0.0147711],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006349683,"threshold_uncertainty_score":0.02124178,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01561662958219359,"score_gpt":0.2368920966496683,"score_spread":0.2212754670674747,"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."}}