{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007036386,0.00007715099,0.00009307123,0.00003108037,0.0001061464,0.00001976381,0.0004280965,0.00004959697,0.00004026918],"category_scores_gemma":[0.0002196635,0.00005657563,0.00006087366,0.0002088435,0.001810545,0.000003535952,0.0001673739,0.00005374887,0.000007298263],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001066357,"about_ca_system_score_gemma":0.00008238758,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":6.279088e-7,"about_ca_topic_score_gemma":7.940619e-7,"domain_scores_codex":[0.9990736,0.0000584529,0.0001714487,0.0003074553,0.000174558,0.000214448],"domain_scores_gemma":[0.9993836,0.00008334408,0.00003852601,0.0002844157,0.0001190998,0.00009100013],"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.00005996353,0.0002701402,0.001966382,0.000009309334,0.000005652734,5.178575e-7,0.00003380556,0.004764858,0.5861594,0.3490101,0.00002691739,0.05769291],"study_design_scores_gemma":[0.0003534791,0.0008049652,0.007065326,0.00001235586,0.000006745489,0.000002677206,0.000003914551,0.2861361,0.6985391,0.006326243,0.0005311303,0.0002179535],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5451551,0.00001288284,0.4535381,0.0001244983,0.00004338229,0.00005023416,0.000001483601,0.000009770731,0.001064485],"genre_scores_gemma":[0.9390111,4.628406e-7,0.06047159,0.000361589,0.0001453808,0.000001770841,0.000003191566,0.000002565679,0.000002377735],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.393856,"threshold_uncertainty_score":0.667103,"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."}}