{"id":"W4381856060","doi":"10.1007/978-3-031-34326-1_4","title":"Existential and Universal Width of Alternating Finite Automata","year":2023,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"","keywords":"Decidability; Bounded function; Computation; Automaton; Finite-state machine; String (physics); Nondeterministic finite automaton; Deterministic finite automaton; Integer (computer science); Existentialism; Nondeterministic algorithm; Discrete mathematics; Deterministic automaton; Computer science; Mathematics; Algorithm; Automata theory; Theoretical computer science; Mathematical analysis","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.001823906,0.0008935652,0.001117101,0.001608952,0.001436256,0.004288438,0.00237457,0.001025876,0.007348449],"category_scores_gemma":[0.009123818,0.00134719,0.001335054,0.00182967,0.003518348,0.01630367,0.003920281,0.004958677,0.0009789104],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001192717,"about_ca_system_score_gemma":0.0006004549,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000686845,"about_ca_topic_score_gemma":0.0006492473,"domain_scores_codex":[0.9984397,0.0003208652,0.0001808654,0.0004699899,0.0003137824,0.0002747586],"domain_scores_gemma":[0.9936785,0.004223112,0.0003281283,0.0009753737,0.0004051527,0.0003897568],"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.0001526951,0.00003274628,0.0004903853,0.0001174185,0.00001701751,0.00006126055,0.0007436673,0.001667992,0.002453066,0.9731885,0.001031981,0.02004344],"study_design_scores_gemma":[0.00001063163,0.00001723637,0.0003230315,0.00003527599,0.00002630977,0.00009281311,0.0001447313,0.004665987,0.001429198,0.9899269,0.003311927,0.00001598622],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3296316,0.005737837,0.5289696,0.001673279,0.0005441432,0.00008235533,0.001209931,0.001679188,0.1304721],"genre_scores_gemma":[0.9147517,0.001495336,0.06321132,0.0002519335,0.0004087383,0.0001554701,0.0006461638,0.0006604839,0.01841888],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007348449,"threshold_uncertainty_score":0.02458298,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01791347460222524,"score_gpt":0.2364860376009976,"score_spread":0.2185725629987723,"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."}}