{"id":"W1924404066","doi":"10.1016/j.jcss.2016.10.001","title":"Deciding whether a regular language is generated by a splicing system","year":2016,"lang":"en","type":"article","venue":"Journal of Computer and System Sciences","topic":"DNA and Biological Computing","field":"Biochemistry, Genetics and Molecular Biology","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"","keywords":"Syntactic monoid; Regular language; RNA splicing; Computer science; Class (philosophy); Function (biology); Word (group theory); Mathematics; Discrete mathematics; Genetics; Theoretical computer science; Monoid; Artificial intelligence; Biology; 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.003356307,0.0003653958,0.0006397997,0.00067907,0.001064313,0.002843307,0.001430883,0.001759769,0.004020156],"category_scores_gemma":[0.01460858,0.0006252725,0.001311853,0.0004472166,0.002185201,0.00441867,0.001328811,0.001955757,0.0007020556],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006488385,"about_ca_system_score_gemma":0.001764199,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008948122,"about_ca_topic_score_gemma":0.001290894,"domain_scores_codex":[0.9966023,0.0008374358,0.0003712999,0.0009377933,0.0006919452,0.0005593017],"domain_scores_gemma":[0.9693581,0.02411698,0.001406282,0.001429221,0.002495005,0.001194353],"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.01067102,0.001575997,0.1264328,0.001568479,0.0009155436,0.0105866,0.004903436,0.0776251,0.2751485,0.2844461,0.01728625,0.1888402],"study_design_scores_gemma":[0.0005768961,0.001046428,0.007992992,0.00009977861,0.0004019675,0.002383481,0.002125086,0.3880571,0.1369882,0.4554218,0.004728504,0.0001776978],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8839597,0.00004172456,0.1067577,0.001772922,0.0001192308,0.0001238247,0.0004912977,0.001727762,0.005006045],"genre_scores_gemma":[0.9630299,0.00002079899,0.03482131,0.0002289259,0.00006203915,0.00003546311,0.000730518,0.0001760877,0.0008949708],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.004020156,"threshold_uncertainty_score":0.01775008,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0107009253573674,"score_gpt":0.2410545034092316,"score_spread":0.2303535780518642,"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."}}