{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001301354,0.0007719712,0.001040036,0.002290477,0.002121347,0.003552535,0.001321502,0.001581475,0.008106695],"category_scores_gemma":[0.006498026,0.0006033079,0.001169609,0.002822174,0.004192006,0.007838956,0.002445491,0.002756471,0.0006952116],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002370693,"about_ca_system_score_gemma":0.001132004,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002565686,"about_ca_topic_score_gemma":0.001188273,"domain_scores_codex":[0.998754,0.0003136459,0.00009075554,0.0002400188,0.0003666434,0.0002349577],"domain_scores_gemma":[0.996307,0.002022123,0.0004414569,0.0003345165,0.0005610898,0.0003337823],"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.000008285344,0.000003810094,0.00005383005,0.000007115843,0.000001941712,0.00002015253,0.00006328622,0.0007575889,0.000129778,0.9980763,0.0001217244,0.0007562484],"study_design_scores_gemma":[0.000009044154,0.000007523259,0.00005727863,0.000004882806,0.000002822135,0.00003637929,0.00003200471,0.005315558,0.000147851,0.9934736,0.000907198,0.000005766793],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4296125,0.001355932,0.4608913,0.003767584,0.000326993,0.0001059647,0.0007587674,0.0004101846,0.1027707],"genre_scores_gemma":[0.9576095,0.0009067851,0.02559642,0.0002729219,0.0002847058,0.0001126017,0.0003738087,0.0001487108,0.01469448],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008106695,"threshold_uncertainty_score":0.02711964,"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."}}