{"id":"W2954853821","doi":"10.1007/978-3-030-23247-4_16","title":"Nondeterminism Growth and State Complexity","year":2019,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"","keywords":"Mathematics; String (physics); Combinatorics; Nondeterministic algorithm; Path (computing); Discrete mathematics; Tree (set theory); Bounding overwatch; Deterministic finite automaton; Nondeterministic finite automaton; Finite-state machine; State (computer science); Degree (music); Automaton; Algorithm; Computer science; Physics; Automata theory; 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.001579444,0.0004783529,0.001074834,0.001258975,0.001221523,0.004185389,0.001334707,0.001172213,0.008775417],"category_scores_gemma":[0.01740022,0.0007489498,0.0009276429,0.001586615,0.003758723,0.01445183,0.002275069,0.004993409,0.0008620778],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002398949,"about_ca_system_score_gemma":0.0009696711,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008279986,"about_ca_topic_score_gemma":0.0006744315,"domain_scores_codex":[0.9981883,0.0003517451,0.0001112125,0.0004065171,0.0007159324,0.0002261887],"domain_scores_gemma":[0.9748574,0.02008176,0.0008481569,0.002588286,0.001167471,0.0004569288],"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.0000320824,0.00002076229,0.0003721047,0.00005764757,0.000005520906,0.00004177241,0.0002054262,0.006800912,0.0008102439,0.9782347,0.001140846,0.012278],"study_design_scores_gemma":[0.000004111252,0.000005285032,0.0001700211,0.000007295876,0.000004206513,0.00004314561,0.00003111469,0.02149447,0.0006759953,0.975636,0.001922295,0.000006132341],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3378902,0.005115384,0.4021657,0.01001918,0.000396785,0.000169047,0.001246084,0.0008932033,0.2421045],"genre_scores_gemma":[0.937866,0.001952725,0.0287158,0.0001967182,0.0003519097,0.0002098284,0.0004303628,0.0002550293,0.03002157],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008775417,"threshold_uncertainty_score":0.02935666,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01937335753452985,"score_gpt":0.2362460321222283,"score_spread":0.2168726745876985,"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."}}