{"id":"W1558734229","doi":"10.1007/3-540-44612-5_37","title":"Alternating and Empty Alternating Auxiliary Stack Automata","year":2000,"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":"Université de Montréal","funders":"","keywords":"Stack (abstract data type); PSPACE; Bounded function; Hierarchy; Automaton; Polynomial hierarchy; Constant (computer programming); Combinatorics; Mathematics; Cellular automaton; Discrete mathematics; Time complexity; Computer science; Computational complexity theory; Theoretical computer science; Algorithm; Programming language","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.0011215,0.0008043345,0.0006740742,0.0008721648,0.001976338,0.003653275,0.001850565,0.001367501,0.01308599],"category_scores_gemma":[0.005243317,0.000734548,0.001145194,0.001038242,0.003049064,0.01215566,0.003194743,0.003458248,0.002437389],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006489188,"about_ca_system_score_gemma":0.0008293983,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004545182,"about_ca_topic_score_gemma":0.0005929419,"domain_scores_codex":[0.9989429,0.0002129119,0.0001108326,0.0002118007,0.0002906616,0.0002307877],"domain_scores_gemma":[0.9966598,0.001570734,0.0001699795,0.0007159871,0.0005971677,0.0002863887],"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.00009175664,0.00002842206,0.0001366052,0.0000460155,0.000005457749,0.00008749412,0.0003687756,0.0008464316,0.002103994,0.9830656,0.001573133,0.01164625],"study_design_scores_gemma":[0.00001151706,0.00002280236,0.0001140114,0.00001485468,0.00001943994,0.0001578539,0.0001083212,0.007161467,0.003400843,0.9807984,0.008173653,0.00001683767],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1988737,0.0009550882,0.6087524,0.001042052,0.000819929,0.0001262819,0.0007859856,0.001870119,0.1867744],"genre_scores_gemma":[0.8037626,0.0007161541,0.100294,0.0003429049,0.0002938591,0.0002364546,0.000868723,0.0008521053,0.09263317],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01308599,"threshold_uncertainty_score":0.04377699,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0132709223307378,"score_gpt":0.2435286385755021,"score_spread":0.2302577162447643,"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."}}