{"id":"W4403341864","doi":"10.1142/s0129054124430044","title":"Language Acceptors with a Pushdown: Characterizations and Complexity","year":2024,"lang":"en","type":"article","venue":"International Journal of Foundations of Computer Science","topic":"Language and cultural evolution","field":"Social Sciences","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Saskatchewan","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Pushdown automaton; Programming language; Theoretical computer science; Discrete mathematics; Mathematics; Finite-state machine","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004591563,0.00004632256,0.0000734458,0.0002467098,0.0001903165,0.0004071302,0.0004339883,0.00001577043,0.0001152128],"category_scores_gemma":[0.00006984222,0.00003330052,0.00003294409,0.0004396399,0.0007903039,0.001533439,0.0000519733,0.00007247846,0.000003882687],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000843401,"about_ca_system_score_gemma":0.0004203102,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001588162,"about_ca_topic_score_gemma":0.0001194109,"domain_scores_codex":[0.9989666,0.00003047266,0.0001950198,0.00009442036,0.0006246306,0.0000888363],"domain_scores_gemma":[0.9989725,0.00005736418,0.0001304961,0.00005406079,0.0007197719,0.0000657857],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"observational","study_design_scores_codex":[0.00005705495,0.0001987032,0.0041196,0.00002735462,0.0002228555,0.00009629779,0.1098947,0.0002501843,0.01837017,0.5216916,0.0007167566,0.3443548],"study_design_scores_gemma":[0.003831104,0.001995354,0.6478699,0.003554019,0.0003910656,0.002631447,0.03414496,0.05693828,0.01284119,0.0364763,0.1974302,0.001896084],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8774484,0.0001875632,0.1133104,0.005717693,0.00149419,0.00007848223,0.00001063407,0.00002682308,0.001725878],"genre_scores_gemma":[0.9888268,0.00004757828,0.01056359,0.00006746344,0.0004067602,7.063423e-7,0.000003493283,0.000002203861,0.00008143354],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.6437504,"threshold_uncertainty_score":0.3925965,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02440769197187678,"score_gpt":0.3457329204951948,"score_spread":0.321325228523318,"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."}}