{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0008069665,0.0003484402,0.0004451317,0.0007966572,0.0001479862,0.0002831755,0.002504503,0.0001818029,0.000009002185],"category_scores_gemma":[0.00009429457,0.0003282545,0.00009244776,0.0005139291,0.0007067403,0.0005103448,0.00233141,0.0004087007,0.000016944],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007614736,"about_ca_system_score_gemma":0.0002260293,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004939317,"about_ca_topic_score_gemma":0.00002529398,"domain_scores_codex":[0.9973092,0.00003003951,0.0004282781,0.001056283,0.0007373731,0.0004387939],"domain_scores_gemma":[0.9976872,0.0007735841,0.0003296903,0.0009818717,0.0001131674,0.0001145217],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000006008267,0.00001935207,0.00006769982,0.00009506672,0.00002289423,0.0002084711,0.001044563,0.01132473,0.0002903381,0.1417245,0.00001469752,0.8451818],"study_design_scores_gemma":[0.000289529,0.0001237601,0.0001850917,0.000505093,0.000007759619,0.00004268335,3.396704e-7,0.8159562,0.0007445468,0.1815558,0.0002086881,0.0003804404],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0007780091,0.0001166521,0.9942611,0.0002300307,0.001421906,0.0001632728,0.00001127573,0.0002666311,0.002751088],"genre_scores_gemma":[0.4948789,0.0002322955,0.5023518,0.0006565257,0.0005862602,0.000004340658,0.00001132348,0.00008403142,0.001194464],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8448013,"threshold_uncertainty_score":0.999917,"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."}}