{"id":"W2756098802","doi":"10.1016/j.ic.2017.09.004","title":"Transducer descriptions of DNA code properties and undecidability of antimorphic problems","year":2017,"lang":"en","type":"article","venue":"Information and Computation","topic":"DNA and Biological Computing","field":"Biochemistry, Genetics and Molecular Biology","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Saint Mary's University; University of Waterloo; Western University","funders":"Natural Sciences and Engineering Research Council of Canada; Western University","keywords":"Undecidable problem; Decidability; Property (philosophy); Permutation (music); Discrete mathematics; Involution (esoterism); Mathematics; Regular language; Computer science; Automaton; Theoretical computer science","routes":{"ca_aff":true,"ca_fund":true,"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.002703366,0.0006863879,0.0009898396,0.001978816,0.001361397,0.004204379,0.002460012,0.002378383,0.007056024],"category_scores_gemma":[0.01678852,0.0009323708,0.002140187,0.001369087,0.004086292,0.008646728,0.003017753,0.005428764,0.0007575146],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001935207,"about_ca_system_score_gemma":0.001686166,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001378237,"about_ca_topic_score_gemma":0.001454058,"domain_scores_codex":[0.9963797,0.0009801022,0.0003533851,0.0006008476,0.001175373,0.0005105597],"domain_scores_gemma":[0.9730361,0.02128112,0.0008245736,0.002083784,0.002216081,0.0005583496],"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.00005740555,0.00004017395,0.0002491613,0.00005913129,0.00001179084,0.0001036942,0.0002737976,0.005413727,0.001681195,0.9870384,0.0007954173,0.004276161],"study_design_scores_gemma":[0.00001784456,0.00001420857,0.00006361058,0.00001016535,0.00001156286,0.00004956033,0.00005153243,0.04365835,0.001701728,0.9538077,0.0006003173,0.00001350649],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1558393,0.000430489,0.8077334,0.003359541,0.0002517801,0.0001371758,0.0009390404,0.001502749,0.02980659],"genre_scores_gemma":[0.9189945,0.00033801,0.06842259,0.000913301,0.0002779774,0.0003995609,0.001089677,0.0005666438,0.008997669],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007056024,"threshold_uncertainty_score":0.02360475,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05689885418023543,"score_gpt":0.2635822840208109,"score_spread":0.2066834298405755,"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."}}