{"id":"W2955229755","doi":"10.1007/978-3-030-23247-4_15","title":"State Complexity of Simple Splicing","year":2019,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"DNA and Biological Computing","field":"Biochemistry, Genetics and Molecular Biology","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"RNA splicing; Regular language; Axiom; Theoretical computer science; Computer science; Recursively enumerable language; Finite-state machine; Mathematics; Discrete mathematics; Algorithm; Genetics; Automaton; Biology; RNA","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.0003509585,0.0002471693,0.0003334499,0.0001052565,0.00006213368,0.00003346557,0.0006801664,0.0002076139,0.000016628],"category_scores_gemma":[0.00005284922,0.000198574,0.0001047048,0.00009430861,0.0007215301,0.000003516872,0.0007594139,0.0002481361,0.000008234049],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002718651,"about_ca_system_score_gemma":0.0001690041,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002086926,"about_ca_topic_score_gemma":0.00005212923,"domain_scores_codex":[0.9984234,0.00001857944,0.000307253,0.0006948607,0.0002352998,0.0003205909],"domain_scores_gemma":[0.9990647,0.00005861336,0.0001995575,0.0004986945,0.0001213011,0.00005706135],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00009050249,0.000066787,0.003421989,0.0001977736,0.00005263898,0.00002181947,0.000141476,0.0434618,0.3288253,0.003091749,0.00006114493,0.620567],"study_design_scores_gemma":[0.00155475,0.003681753,0.006863273,0.0008928034,0.00004132556,0.00009505919,9.124059e-7,0.1021759,0.5774436,0.2847391,0.01955261,0.002958911],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09325347,0.0003377966,0.90155,0.00006738298,0.0004408793,0.0002758471,0.00002311521,0.00001648813,0.00403504],"genre_scores_gemma":[0.9798705,0.00002674067,0.01902522,0.0004992831,0.0002356332,5.529051e-7,0.00003988216,0.00001587847,0.0002863033],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8866171,"threshold_uncertainty_score":0.8097613,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02795678863435677,"score_gpt":0.264530784009426,"score_spread":0.2365739953750692,"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."}}