{"id":"W4285278578","doi":"10.1007/978-3-031-05578-2_15","title":"Visit-Bounded Stack Automata","year":2022,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Saskatchewan","funders":"","keywords":"Stack (abstract data type); Bounded function; Automaton; Computer science; Theoretical computer science; Programming language; Mathematics; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004132062,0.000650642,0.0007238874,0.0007895096,0.001625525,0.003199383,0.001497499,0.001082228,0.01926568],"category_scores_gemma":[0.002551133,0.0006992302,0.001024963,0.00133867,0.002016071,0.005730475,0.003275173,0.002924441,0.005780561],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001630269,"about_ca_system_score_gemma":0.001253488,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0021,"about_ca_topic_score_gemma":0.002204466,"domain_scores_codex":[0.9993717,0.0001028253,0.00003578445,0.0001578557,0.0001959881,0.0001358861],"domain_scores_gemma":[0.9986811,0.0005187078,0.00005756004,0.0004059061,0.0002074102,0.0001293203],"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.00005048777,0.00001583927,0.0001221315,0.00005451891,0.000006390191,0.00005021852,0.0002688867,0.002797522,0.001470749,0.9674439,0.005031526,0.02268789],"study_design_scores_gemma":[0.000009243817,0.0000133141,0.00008231455,0.00002358527,0.00001400803,0.00008242311,0.00009692404,0.01260267,0.001958119,0.9594865,0.0256174,0.0000135316],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.07811336,0.002103569,0.5136359,0.002139661,0.0005795859,0.0001194763,0.001624823,0.005231893,0.3964517],"genre_scores_gemma":[0.7395695,0.001637245,0.07185816,0.0004425958,0.0002010053,0.0002680153,0.001755961,0.001320985,0.1829466],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01926568,"threshold_uncertainty_score":0.06445014,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01431447713593047,"score_gpt":0.2404188568195236,"score_spread":0.2261043796835931,"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."}}