{"id":"W2912608078","doi":"10.1016/s0890-5401(03)00090-7","title":"Follow automata","year":2003,"lang":"en","type":"article","venue":"Information and Computation","topic":"semigroups and automata theory","field":"Computer Science","cited_by":122,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"","keywords":"Nondeterministic finite automaton; Regular expression; Automaton; Nondeterministic algorithm; Quotient; Combinatorics; Computer science; Mathematics; Discrete mathematics; Equivalence relation; Deterministic automaton; Equivalence (formal languages); Theoretical computer science; Automata theory; 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.0002019414,0.00005520454,0.00005118402,0.00007914181,0.00008843455,0.0002324979,0.00009912835,0.00002507395,0.000005985386],"category_scores_gemma":[0.00002646253,0.00005102137,0.00001561735,0.000153464,0.00001086445,0.001953847,0.00002715883,0.00003221788,0.00009767753],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001001729,"about_ca_system_score_gemma":0.00002189467,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00000293059,"about_ca_topic_score_gemma":2.483504e-7,"domain_scores_codex":[0.9995511,0.00002910861,0.0001569405,0.00006392269,0.0001150393,0.00008389002],"domain_scores_gemma":[0.9997202,0.00003241027,0.00006646724,0.0001027264,0.00004003298,0.00003822057],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[8.996964e-7,0.000007570055,0.00005519853,0.000008167655,0.00000314703,3.679655e-7,0.0007732029,0.0003314012,0.00001259102,0.5976205,0.0007433203,0.4004436],"study_design_scores_gemma":[0.0006953179,0.00004354256,0.003194215,0.00001030339,0.000002303856,0.00004829923,0.0001550389,0.893082,0.0003512068,0.06465684,0.03760453,0.0001564365],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02709728,0.00002548184,0.958279,0.0002398164,0.0001921048,0.00006664002,5.993554e-7,0.0002382742,0.01386086],"genre_scores_gemma":[0.9647955,0.000007779603,0.03433308,0.0008186159,0.000005686275,0.000004472786,0.000008832393,0.000001491174,0.00002459683],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9376982,"threshold_uncertainty_score":0.2241982,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009556904921695659,"score_gpt":0.2247056589438139,"score_spread":0.2151487540221183,"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."}}