{"id":"W3120287019","doi":"10.1016/j.ic.2021.104690","title":"Structural properties of NFAs and growth rates of nondeterminism measures","year":2021,"lang":"en","type":"article","venue":"Information and Computation","topic":"semigroups and automata theory","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematics; String (physics); Computation; Nondeterministic algorithm; Combinatorics; Bounded function; Polynomial; Discrete mathematics; Bounding overwatch; Tree (set theory); GF(2); Exponential function; Path (computing); Nondeterministic finite automaton; Finite field; Automaton; Algorithm; Computer science; Automata theory; Theoretical computer science","routes":{"ca_aff":true,"ca_fund":true,"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.006082974,0.0007487979,0.001435793,0.004164753,0.001948905,0.006241108,0.002268548,0.002001048,0.008232515],"category_scores_gemma":[0.05680115,0.001355902,0.001532112,0.002482342,0.004958941,0.01333436,0.001890389,0.003779391,0.0006894042],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00315372,"about_ca_system_score_gemma":0.001690774,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001089984,"about_ca_topic_score_gemma":0.0009278919,"domain_scores_codex":[0.9960496,0.0009620473,0.0003749717,0.0009959273,0.00104602,0.0005714708],"domain_scores_gemma":[0.8531241,0.1175547,0.0100177,0.008499309,0.00634117,0.004462994],"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.0001279903,0.00005530921,0.002433797,0.0001023586,0.00002159142,0.00009151687,0.0007344249,0.008378841,0.003770338,0.9768139,0.0004551065,0.007014902],"study_design_scores_gemma":[0.00002558362,0.00003569402,0.001153214,0.00003892044,0.00002407963,0.0002465461,0.0001831673,0.05390105,0.002976738,0.9403604,0.001013637,0.00004108267],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.659701,0.001155145,0.3137764,0.002077283,0.0001049594,0.0001396348,0.001214867,0.0007100635,0.02112065],"genre_scores_gemma":[0.9675688,0.0004905333,0.02744775,0.0001020522,0.0001714671,0.0002119799,0.0004307174,0.0002330254,0.003343625],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.008232515,"threshold_uncertainty_score":0.03217018,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02226572246815405,"score_gpt":0.2352410867577007,"score_spread":0.2129753642895467,"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."}}