{"id":"W2084807618","doi":"10.1016/j.tcs.2004.02.031","title":"Deletion along trajectories","year":2004,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":47,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"","keywords":"Decidability; Closure (psychology); Regular language; Mathematical proof; Formal language; Mathematics; Inverse; Discrete mathematics; Combinatorics; Computer science; Theoretical computer science; Algorithm; 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.001172036,0.0001688612,0.0001619385,0.0001563481,0.0004521678,0.0005168209,0.002413506,0.00004641934,0.00002159859],"category_scores_gemma":[0.00006061586,0.0001362679,0.00006453777,0.00117848,0.002138313,0.00109339,0.0006845471,0.0001557513,0.0001488296],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009549736,"about_ca_system_score_gemma":0.0001676207,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001076492,"about_ca_topic_score_gemma":9.075231e-7,"domain_scores_codex":[0.9978544,0.0000518417,0.0002320059,0.0006491228,0.0006474686,0.0005651829],"domain_scores_gemma":[0.9986929,0.000117385,0.00004972534,0.0007856656,0.0001204853,0.0002338606],"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.000002274543,0.00003921283,0.00002376424,0.000002667556,0.000001670749,0.00001548881,0.000436292,0.000302515,0.0009995847,0.9689791,0.000008234859,0.02918924],"study_design_scores_gemma":[0.0002863229,0.0001650853,0.001714126,0.00002767179,0.000002495197,0.00009761551,0.000008667348,0.07683683,0.0198651,0.9006664,0.00008286837,0.000246862],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.138548,0.00002771613,0.8572507,0.001180922,0.0007137838,0.00008759501,5.418952e-7,0.0004308589,0.001759823],"genre_scores_gemma":[0.8186901,0.000002669824,0.1805215,0.0006395421,0.0001333236,0.000004247673,4.382111e-7,0.000005763955,0.000002482293],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.680142,"threshold_uncertainty_score":0.7878704,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007075571221615482,"score_gpt":0.2268850500942794,"score_spread":0.2198094788726639,"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."}}