{"id":"W2076263584","doi":"10.1016/j.tcs.2005.07.013","title":"Decidability of trajectory-based equations","year":2005,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"DNA and Biological Computing","field":"Biochemistry, Genetics and Molecular Biology","cited_by":20,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University; Acadia University","funders":"","keywords":"Catenation; Decidability; Constructive; Mathematics; Quotient; Trajectory; Regular language; Integer (computer science); Discrete mathematics; Algebra over a field; Computer science; Pure mathematics; Theoretical computer science; Programming language; Automaton","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.003967692,0.001132108,0.001563522,0.001449596,0.0022395,0.005114382,0.004813616,0.003642853,0.009695163],"category_scores_gemma":[0.02234552,0.001447552,0.004460647,0.002300666,0.004586162,0.01306069,0.005507751,0.009483182,0.0007892603],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004789618,"about_ca_system_score_gemma":0.00319809,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.009220986,"about_ca_topic_score_gemma":0.006318441,"domain_scores_codex":[0.9957011,0.000945441,0.0003749957,0.001159913,0.001057409,0.0007612054],"domain_scores_gemma":[0.9751713,0.02122919,0.0007251817,0.001023893,0.001350292,0.0005001923],"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.00006004942,0.00005675511,0.0006289132,0.0001241276,0.00004716008,0.0001717978,0.0005966889,0.01380083,0.0005693159,0.9754936,0.002009426,0.00644131],"study_design_scores_gemma":[0.00006367215,0.000009023743,0.0001084186,0.00001851375,0.00003090363,0.00004954948,0.00007541155,0.0450353,0.0006866742,0.9522203,0.001687624,0.00001468189],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1630971,0.001036032,0.7721092,0.009837526,0.0003304657,0.0002969574,0.002498994,0.001466498,0.04932733],"genre_scores_gemma":[0.8560598,0.0009608113,0.1159579,0.001628232,0.0003771839,0.0004298916,0.003600185,0.0004789754,0.02050701],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009695163,"threshold_uncertainty_score":0.0347513,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01258954904105643,"score_gpt":0.2672837213251435,"score_spread":0.2546941722840871,"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."}}