{"id":"W3158013313","doi":"10.1142/s0129054121410045","title":"Generalizations of Checking Stack Automata: Characterizations and Hierarchies","year":2021,"lang":"en","type":"article","venue":"International Journal of Foundations of Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Saskatchewan","funders":"Canadian Network for Research and Innovation in Machining Technology, Natural Sciences and Engineering Research Council of Canada; National Science Foundation","keywords":"Decidability; Turing machine; Computer science; Automaton; Stack (abstract data type); Theoretical computer science; Bounded function; Expressive power; Pushdown automaton; Automata theory; PSPACE; Discrete mathematics; Mathematics; Computational complexity theory; Programming language; Algorithm; Computation","routes":{"ca_aff":true,"ca_fund":true,"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.002847864,0.001179478,0.001480961,0.003896484,0.002024968,0.004227023,0.003477246,0.001736279,0.005220054],"category_scores_gemma":[0.01692667,0.001195818,0.003151157,0.004415875,0.004880065,0.0128014,0.003694553,0.00526603,0.0004363585],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002726249,"about_ca_system_score_gemma":0.001640044,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004000196,"about_ca_topic_score_gemma":0.003647752,"domain_scores_codex":[0.9942099,0.001106123,0.0005681665,0.001571805,0.001704525,0.0008394963],"domain_scores_gemma":[0.9714589,0.01696077,0.002431404,0.00595176,0.001880521,0.001316764],"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.0001983647,0.0002004872,0.007824704,0.0005716359,0.0001292254,0.0007253931,0.002490645,0.05692775,0.01320554,0.8770273,0.002323046,0.03837594],"study_design_scores_gemma":[0.00002608314,0.00006584574,0.001468553,0.00008793404,0.00009591624,0.0005097837,0.0003731276,0.1572715,0.005067661,0.8306934,0.00425405,0.00008621762],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4371498,0.002730789,0.5252642,0.00208365,0.0001660235,0.0003693755,0.001460117,0.002433841,0.02834222],"genre_scores_gemma":[0.9147829,0.0009287937,0.08035433,0.0003861088,0.00029296,0.0002198438,0.0006801908,0.0002721845,0.00208268],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005220054,"threshold_uncertainty_score":0.01978034,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01436691264429124,"score_gpt":0.2849782229624023,"score_spread":0.2706113103181111,"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."}}