{"id":"W3199131588","doi":"10.1142/s0129054121420090","title":"Space Complexity of Stack Automata Models","year":2021,"lang":"en","type":"article","venue":"International Journal of Foundations of Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Saskatchewan","funders":"","keywords":"Decidability; Automaton; Measure (data warehouse); Stack (abstract data type); Bounded function; Computer science; Word (group theory); Discrete mathematics; Function (biology); Mathematics; Pushdown automaton; Theoretical computer science; 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.002120662,0.001248623,0.001399277,0.00230512,0.001508291,0.006609773,0.002424997,0.001906112,0.006595318],"category_scores_gemma":[0.01701742,0.0009833464,0.002533006,0.002300376,0.00389177,0.01556464,0.00360107,0.002513421,0.0005350081],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003331586,"about_ca_system_score_gemma":0.001944391,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00301098,"about_ca_topic_score_gemma":0.002108798,"domain_scores_codex":[0.9942498,0.001242222,0.0005041181,0.001114296,0.002110258,0.0007792647],"domain_scores_gemma":[0.9720344,0.02145975,0.001924864,0.002635373,0.001173415,0.0007722744],"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.000411722,0.0001279566,0.00437686,0.0003963881,0.0001584867,0.0002853349,0.001273016,0.2260143,0.007246331,0.7386643,0.001451099,0.01959428],"study_design_scores_gemma":[0.0000282222,0.00006498244,0.0005740904,0.00002973737,0.00005448252,0.000133545,0.0001452587,0.342332,0.003187409,0.6515738,0.00183607,0.00004036013],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4868788,0.001588059,0.4907061,0.001755814,0.00008273319,0.0001685346,0.001385136,0.001312245,0.01612245],"genre_scores_gemma":[0.9488344,0.0005770235,0.04515576,0.0001296135,0.0001313258,0.0002476085,0.0007726082,0.0002519598,0.003899701],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006609773,"threshold_uncertainty_score":0.02417248,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05108888406707036,"score_gpt":0.3162231653960049,"score_spread":0.2651342813289345,"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."}}