{"id":"W2051924156","doi":"10.1016/j.tcs.2006.08.010","title":"Algebraic properties of substitution on trajectories","year":2006,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"DNA and Biological Computing","field":"Biochemistry, Genetics and Molecular Biology","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Manitoba","funders":"","keywords":"Substitution (logic); Concatenation (mathematics); Transitive closure; Generalization; Concurrency; Closure (psychology); Algebraic number; Transitive relation; Morphism; Algebraic theory; Mathematics; Regular language; Coding (social sciences); Quotient; Algebra over a field; Computer science; Set (abstract data type); Discrete mathematics; Theoretical computer science; Pure mathematics; Combinatorics; Automaton; Programming language","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.0003056506,0.00008461453,0.00008917205,0.00003088023,0.0001106143,0.00002669675,0.0002959892,0.00004568867,0.000006961363],"category_scores_gemma":[0.00004940724,0.00005458413,0.00004111946,0.0001667248,0.002151167,0.00000376608,0.0001313839,0.00004689713,0.000009276634],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000006694432,"about_ca_system_score_gemma":0.00003295067,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001626027,"about_ca_topic_score_gemma":4.093118e-7,"domain_scores_codex":[0.9991844,0.00003622012,0.0001372648,0.0002717803,0.0001728199,0.000197554],"domain_scores_gemma":[0.9996606,0.00001166314,0.00003378332,0.0001778164,0.00007838329,0.00003771448],"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.00002966634,0.00004102478,0.0002144535,0.000003961446,0.000001227646,4.621174e-7,0.000004291715,0.0001214354,0.520457,0.4780844,0.00001975286,0.001022295],"study_design_scores_gemma":[0.0001178969,0.0005740204,0.003165467,0.00002161065,0.000002542014,0.000005517965,0.000001627637,0.002128071,0.9856628,0.007845297,0.000362146,0.0001129749],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9590014,0.0000480227,0.0381378,0.00005539574,0.0001410091,0.00006203303,8.807579e-7,0.00001639152,0.002537031],"genre_scores_gemma":[0.99801,0.000001675906,0.001657093,0.0001012461,0.0002026959,0.000001427231,0.000003771824,0.000002791465,0.00001933337],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4702391,"threshold_uncertainty_score":0.7926064,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01017341842543498,"score_gpt":0.2178024978931209,"score_spread":0.2076290794676859,"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."}}