{"id":"W1738746856","doi":"","title":"Results on Transforming NFA into DFCA","year":2004,"lang":"en","type":"article","venue":"Fundamenta Informaticae","topic":"semigroups and automata theory","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University; University of Prince Edward Island","funders":"","keywords":"Nondeterministic finite automaton; Deterministic finite automaton; Mathematics; Finite-state machine; Upper and lower bounds; Discrete mathematics; Combinatorics; Nondeterministic algorithm; Nested word; ω-automaton; Quantum finite automata; DFA minimization; Conjecture; Cover (algebra); Automaton; State (computer science); Automata theory; Algorithm; 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":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0004004955,0.0001760569,0.0001646363,0.0001420352,0.0002121193,0.0002822794,0.0008632284,0.00005815882,0.00002600186],"category_scores_gemma":[0.0000381347,0.0001458468,0.00008082806,0.0002890322,0.00005461234,0.001530481,0.000132333,0.0001614922,0.001071951],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001528825,"about_ca_system_score_gemma":0.00006796604,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003403283,"about_ca_topic_score_gemma":0.000005530818,"domain_scores_codex":[0.9985578,0.00001566673,0.0004989434,0.0001940437,0.0003767012,0.0003568095],"domain_scores_gemma":[0.9990193,0.00008381771,0.0001065912,0.0006336354,0.00002276345,0.0001339454],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00006562893,0.0001759285,0.00001020714,0.00008611169,0.00003864667,0.00002029314,0.0293929,0.0007948687,0.0006170222,0.7717733,0.001882141,0.195143],"study_design_scores_gemma":[0.01811233,0.003748601,0.001550836,0.001531735,0.00004935818,0.0002632994,0.005931375,0.05472958,0.1205298,0.3909739,0.3995984,0.002980648],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3012943,0.00006093353,0.5286955,0.00841585,0.001185131,0.0007702321,0.00002770856,0.001185965,0.1583643],"genre_scores_gemma":[0.9642987,0.00001333846,0.03143667,0.004009291,0.00005583893,0.00002199973,0.00001625091,0.000009447484,0.0001384745],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6630044,"threshold_uncertainty_score":0.9997059,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01193291424950142,"score_gpt":0.2410837567690871,"score_spread":0.2291508425195857,"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."}}