{"id":"W2951723643","doi":"10.48550/arxiv.1112.4897","title":"Deciding Whether a Regular Language is Generated by a Splicing System","year":2011,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"DNA and Biological Computing","field":"Biochemistry, Genetics and Molecular Biology","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"","keywords":"Syntactic monoid; RNA splicing; Regular language; Computer science; Class (philosophy); Function (biology); Word (group theory); Subclass; Mathematics; Genetics; Monoid; Biology; Artificial intelligence; Combinatorics; Gene; Free monoid","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0002013986,0.000307893,0.0002852611,0.0000560961,0.0001195326,0.00003580135,0.0005249173,0.0005771309,0.00002609951],"category_scores_gemma":[0.00002108494,0.0002976869,0.0002135833,0.000134031,0.00006743903,0.000002587898,0.0009536479,0.0002774984,0.00002647167],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000616634,"about_ca_system_score_gemma":0.0000484622,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002386805,"about_ca_topic_score_gemma":0.00001649112,"domain_scores_codex":[0.9983441,0.0001443612,0.0001771276,0.0009548865,0.00004441041,0.0003351406],"domain_scores_gemma":[0.9989651,0.00001048079,0.000193026,0.000626232,0.00008643573,0.0001186598],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0001411714,0.0000800689,0.002570693,0.0001733782,0.0003372849,0.0001799322,0.000206331,0.002135313,0.9896575,0.001551771,0.002369203,0.0005974011],"study_design_scores_gemma":[0.001683184,0.0004660681,0.0003779283,0.0006531356,0.0004309229,0.00004690821,0.001773758,0.03643649,0.94709,0.0008675334,0.007825073,0.002348964],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9758039,0.0006779113,0.0198421,0.000009191364,0.0001854218,0.0001937929,0.00003878097,0.00008184221,0.003167057],"genre_scores_gemma":[0.9961655,0.00009440919,0.0002947251,0.000163979,0.0001926242,8.845384e-7,0.0001682347,0.00003006953,0.002889622],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.04256742,"threshold_uncertainty_score":0.9999475,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04684561998648683,"score_gpt":0.1802441311146556,"score_spread":0.1333985111281688,"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."}}