{"id":"W4212834144","doi":"10.1016/s0304-3975(03)00311-6","title":"Reducing NFAs by invariant equivalences","year":2003,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":33,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"","keywords":"Automaton; Merge (version control); Invariant (physics); Nondeterministic finite automaton; Mathematics; Equivalence (formal languages); Discrete mathematics; Combinatorics; Automata theory; Computer science; Theoretical computer science","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.001413364,0.000857124,0.001224555,0.001821626,0.00190207,0.002546223,0.001888445,0.001494581,0.01066573],"category_scores_gemma":[0.007070805,0.0008004972,0.003431021,0.001321363,0.002724559,0.00814458,0.005299047,0.004316393,0.001998693],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001273584,"about_ca_system_score_gemma":0.0007818077,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001727291,"about_ca_topic_score_gemma":0.001792959,"domain_scores_codex":[0.9968185,0.0007109426,0.0002483475,0.0006397854,0.0009164761,0.0006659016],"domain_scores_gemma":[0.9939039,0.003109328,0.0002381688,0.001724075,0.0007491465,0.0002752896],"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.0001254995,0.0002278258,0.0005098657,0.0001768932,0.00006512639,0.0002605784,0.001145347,0.006350385,0.004809111,0.9165046,0.004702569,0.06512222],"study_design_scores_gemma":[0.00002267519,0.00002130775,0.0001326819,0.00001842717,0.00005020875,0.0001140623,0.0001804954,0.007738398,0.002944315,0.9816654,0.0070941,0.00001790907],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.214516,0.0008649015,0.6685454,0.002094232,0.0009091659,0.0002842351,0.0006412136,0.004721408,0.1074235],"genre_scores_gemma":[0.8368803,0.000636158,0.1289603,0.0008517401,0.0004717862,0.0002612874,0.001216382,0.001310264,0.02941182],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01066573,"threshold_uncertainty_score":0.03568047,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01082458396918058,"score_gpt":0.239357520658382,"score_spread":0.2285329366892015,"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."}}