{"id":"W7018230187","doi":"","title":"Computation Widths for Alternating Finite Automata","year":2025,"lang":"en","type":"dissertation","venue":"QSpace (Queen's University Library)","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Nondeterministic algorithm; Finite-state machine; Decidability; Automaton; Generalization; Set (abstract data type); Parallelism (grammar); Integer (computer science); Computation; Exponential function","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002563189,0.001442467,0.001185209,0.001754203,0.001228032,0.004752919,0.002632574,0.001530481,0.006104033],"category_scores_gemma":[0.02205991,0.00107751,0.002939922,0.00201282,0.002503362,0.01130663,0.004766359,0.004473807,0.001397558],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002449191,"about_ca_system_score_gemma":0.00156406,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001090377,"about_ca_topic_score_gemma":0.001404222,"domain_scores_codex":[0.9950548,0.0009415679,0.0006877388,0.001548921,0.001263291,0.0005035786],"domain_scores_gemma":[0.9867283,0.008647895,0.0010052,0.002212374,0.0009634042,0.0004428809],"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.0004529354,0.0001272761,0.002219222,0.0006575685,0.00009175279,0.0001434113,0.0008515101,0.0649422,0.0128623,0.7692057,0.004201603,0.1442446],"study_design_scores_gemma":[0.00002916708,0.00005672516,0.0001813369,0.00009551575,0.00004600947,0.000138869,0.000120627,0.1404613,0.006736328,0.8460147,0.006077724,0.00004175784],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03680531,0.0006954149,0.9515282,0.0005496279,0.0001030685,0.000157681,0.0005357724,0.002259989,0.007364976],"genre_scores_gemma":[0.3222313,0.0006305462,0.6696731,0.0004318053,0.0001505273,0.0005239445,0.001128618,0.0008395785,0.004390512],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006104033,"threshold_uncertainty_score":0.02042001,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007969632091149615,"score_gpt":0.2120406950290898,"score_spread":0.2040710629379401,"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."}}