{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003193288,0.0003081706,0.0007045406,0.0007532186,0.001156534,0.002929403,0.0008326271,0.001178755,0.002933964],"category_scores_gemma":[0.0139554,0.0006159698,0.001248386,0.0004248285,0.003929615,0.00546525,0.002043727,0.001703176,0.0005319252],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008985538,"about_ca_system_score_gemma":0.001193197,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000496731,"about_ca_topic_score_gemma":0.0004212176,"domain_scores_codex":[0.9962997,0.0008418091,0.0004387302,0.001184844,0.0007852276,0.0004497272],"domain_scores_gemma":[0.9749356,0.01963675,0.001500503,0.001534727,0.001448194,0.0009441755],"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.003335907,0.0005057468,0.03616639,0.001165578,0.0003704732,0.003967658,0.004177285,0.04788527,0.2470264,0.5623932,0.006344794,0.08666129],"study_design_scores_gemma":[0.0002135567,0.0003192874,0.004126359,0.00008161367,0.0001988732,0.001250657,0.001190308,0.1641009,0.1477084,0.6738863,0.006771944,0.0001518375],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8466851,0.0001072906,0.1438335,0.001438809,0.00008520376,0.0001082757,0.0004523318,0.00101832,0.006271136],"genre_scores_gemma":[0.9507073,0.00008564989,0.04645661,0.000275866,0.0001214596,0.00008072256,0.0008651994,0.000179206,0.001228104],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.003193288,"threshold_uncertainty_score":0.0168879,"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."}}