{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001927625,0.0001743808,0.0002017975,0.0002781301,0.0002480837,0.0003846333,0.002768507,0.00004460367,0.0000439333],"category_scores_gemma":[0.00004501286,0.0001408858,0.00005152833,0.001759433,0.00123311,0.0009674577,0.001225713,0.0002031238,0.000186283],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001027452,"about_ca_system_score_gemma":0.0001510581,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001346662,"about_ca_topic_score_gemma":0.000003661831,"domain_scores_codex":[0.9975165,0.00006647077,0.0002770042,0.0007111675,0.0005845096,0.0008443064],"domain_scores_gemma":[0.9987087,0.000132441,0.00004465194,0.0008137345,0.00007261805,0.0002278959],"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.000002803623,0.000104322,0.0000723319,0.000003421235,0.000001141454,0.00003733234,0.0008390143,0.001052183,0.0003435457,0.9901549,0.00001166173,0.007377398],"study_design_scores_gemma":[0.0004749688,0.000104521,0.001269381,0.00003383156,8.931443e-7,0.00002623829,0.00001761977,0.2757826,0.005831804,0.716136,0.0001209263,0.0002011937],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1709072,0.00004216259,0.8252366,0.001450626,0.0003810419,0.00009924438,0.000001390777,0.0002308063,0.001650997],"genre_scores_gemma":[0.8928275,0.000008041769,0.1060316,0.001062256,0.00005233115,0.000005428138,7.646482e-7,0.000006614768,0.000005501479],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7219204,"threshold_uncertainty_score":0.5745156,"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."}}