{"id":"W4401033940","doi":"10.1007/978-3-031-66159-4_12","title":"Techniques for Showing the Decidability of the Boundedness Problem of Language Acceptors","year":2024,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Saskatchewan","funders":"","keywords":"Decidability; Computer science; Programming language; Algorithm; Theoretical computer science","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.008225651,0.002316554,0.002076224,0.002318599,0.003480605,0.00707197,0.009576733,0.003891611,0.01405325],"category_scores_gemma":[0.03129958,0.003282012,0.007356783,0.003166947,0.008821367,0.02564188,0.01270348,0.02596393,0.002640617],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003087425,"about_ca_system_score_gemma":0.002089627,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001790185,"about_ca_topic_score_gemma":0.001921368,"domain_scores_codex":[0.9918991,0.002604248,0.0005606541,0.001723183,0.002274312,0.0009384239],"domain_scores_gemma":[0.9483032,0.0442338,0.0007703457,0.004888746,0.001210728,0.0005931967],"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.0001586074,0.0001689024,0.0003305261,0.0004176943,0.00007291255,0.000253595,0.000841664,0.006161879,0.005645327,0.9475724,0.006510277,0.0318663],"study_design_scores_gemma":[0.00004031359,0.00002038054,0.00008423228,0.0000361571,0.00004419827,0.0001029447,0.00006913715,0.01706829,0.003577634,0.9744681,0.00446301,0.00002565955],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01550337,0.00102563,0.9448968,0.00315598,0.0003646692,0.0001544868,0.0003955601,0.002368289,0.03213523],"genre_scores_gemma":[0.4196459,0.002795038,0.5392297,0.002730316,0.001506468,0.001221648,0.002543388,0.002417275,0.02791025],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01405325,"threshold_uncertainty_score":0.04701281,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01346464329394492,"score_gpt":0.2589171703270692,"score_spread":0.2454525270331243,"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."}}