{"id":"W4205301710","doi":"10.1007/978-3-030-93489-7_8","title":"Width Measures of Alternating Finite Automata","year":2021,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"","keywords":"Mathematics; Automaton; Exponential function; Tree (set theory); Existentialism; Exponential growth; Finite-state machine; Polynomial; Computation; Discrete mathematics; Combinatorics; State (computer science); Algorithm; Computer science; Mathematical analysis; 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.001290663,0.000848232,0.0009065394,0.002406474,0.001036029,0.004241869,0.00182135,0.001132201,0.006360137],"category_scores_gemma":[0.007428896,0.0009254709,0.0007717557,0.002068019,0.002342313,0.01096949,0.002064738,0.003490277,0.0008275325],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001287012,"about_ca_system_score_gemma":0.0003483483,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003232562,"about_ca_topic_score_gemma":0.00032232,"domain_scores_codex":[0.9987902,0.0002835458,0.0001023325,0.0003011566,0.0003882692,0.0001345249],"domain_scores_gemma":[0.9943178,0.00367403,0.0004386118,0.0005582425,0.0005113347,0.0005000551],"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.00003917591,0.00001763471,0.0001737861,0.00004382309,0.000006965864,0.00002128359,0.0002055355,0.001398752,0.001802834,0.9861513,0.0007167638,0.009422115],"study_design_scores_gemma":[0.000005144065,0.00001803318,0.0002315234,0.00002116774,0.000007791553,0.00005404063,0.0000711204,0.007861253,0.0007640009,0.9887276,0.002227515,0.00001095389],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.3609406,0.006197905,0.4972889,0.001646991,0.0006648855,0.00007798638,0.0006661523,0.0007450075,0.1317716],"genre_scores_gemma":[0.8889899,0.002110262,0.07169279,0.0003729294,0.0009073088,0.0002583398,0.0006085934,0.0006108419,0.0344491],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006360137,"threshold_uncertainty_score":0.02127677,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02743159899597281,"score_gpt":0.2470291532924119,"score_spread":0.2195975542964391,"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."}}