{"id":"W2522877794","doi":"10.1142/s0129626416500122","title":"Limitations of Coverability Trees for Context-Free Parallel Communicating Grammar Systems and Why these Grammar Systems are not Linear Space","year":2016,"lang":"en","type":"article","venue":"Parallel Processing Letters","topic":"DNA and Biological Computing","field":"Biochemistry, Genetics and Molecular Biology","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Bishop's University","funders":"","keywords":"Decidability; Computer science; Context (archaeology); Theoretical computer science; Grammar; Context-free grammar; Rule-based machine translation; Tree (set theory); Programming language; Mathematics; Combinatorics; Artificial intelligence; Linguistics","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.0005777251,0.0002415076,0.0003848344,0.00003485513,0.0002160884,0.00007975096,0.0004777385,0.0001645643,3.425785e-7],"category_scores_gemma":[0.001097717,0.0001604176,0.0001151092,0.00007013934,0.0003352431,0.0000166861,0.000222747,0.0000990253,8.366052e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002088135,"about_ca_system_score_gemma":0.00003248467,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009111228,"about_ca_topic_score_gemma":0.00004455032,"domain_scores_codex":[0.9983605,0.0002194694,0.0004728728,0.0004522268,0.0001447399,0.0003502558],"domain_scores_gemma":[0.9982111,0.0004677039,0.000463333,0.0005663288,0.0002008335,0.00009074],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0008055991,0.0002548583,0.02671548,0.001123467,0.0002186554,0.000003217767,0.0004552677,0.003705966,0.9478921,0.001015989,0.002423386,0.01538608],"study_design_scores_gemma":[0.04897552,0.008832769,0.0717586,0.01195766,0.001313629,0.0003018842,0.01587357,0.1579842,0.08053735,0.003371962,0.5883054,0.01078749],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8262079,0.004464699,0.1619608,0.006310829,0.0001223368,0.000736316,0.00007941769,0.00005161767,0.00006609306],"genre_scores_gemma":[0.9919051,0.0001858208,0.006826768,0.0006764122,0.0001634446,0.0001011802,0.0000409003,0.00002436524,0.00007601659],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8673547,"threshold_uncertainty_score":0.6541641,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07896733959060385,"score_gpt":0.270180197287672,"score_spread":0.1912128576970681,"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."}}