{"id":"W2157637221","doi":"10.1016/j.tcs.2004.09.008","title":"Mergible states in large NFA","year":2004,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":22,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University; University of Prince Edward Island","funders":"","keywords":"Parameterized complexity; Regular language; Constant (computer programming); Automaton; Deterministic finite automaton; Nondeterministic finite automaton; Mathematics; Finite-state machine; Deterministic automaton; Discrete mathematics; Büchi automaton; State (computer science); Computer science; Combinatorics; Algorithm; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001700434,0.000401165,0.001043698,0.001711941,0.002778736,0.003595433,0.001054312,0.001695319,0.00765879],"category_scores_gemma":[0.01067694,0.0007813846,0.0009339533,0.001091854,0.004654896,0.00902314,0.002578562,0.002360736,0.000598878],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001407089,"about_ca_system_score_gemma":0.0008600738,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002178574,"about_ca_topic_score_gemma":0.003164804,"domain_scores_codex":[0.9988644,0.0003198594,0.0001109698,0.0002590595,0.0002502674,0.0001954477],"domain_scores_gemma":[0.9851467,0.01084883,0.0008196963,0.001574068,0.0008979631,0.0007127563],"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.00007417554,0.00003524852,0.0009972815,0.00003979907,0.00000768777,0.0002432514,0.0008678954,0.003237497,0.001317356,0.9882377,0.0004666516,0.004475439],"study_design_scores_gemma":[0.00001309872,0.000007732124,0.0001265419,0.000009134419,0.000007697823,0.00006792512,0.0001570156,0.01067288,0.0004360139,0.9877517,0.0007411578,0.000009074734],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6709726,0.0005137807,0.2906851,0.001570739,0.0001201587,0.0001065275,0.0004477392,0.001358243,0.03422513],"genre_scores_gemma":[0.9642668,0.0001138164,0.02758785,0.0001285116,0.00006251445,0.0001206627,0.000237834,0.0001562317,0.00732568],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.00765879,"threshold_uncertainty_score":0.02562118,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.005756027207093133,"score_gpt":0.2384363134074139,"score_spread":0.2326802862003208,"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."}}