{"id":"W2408319280","doi":"","title":"Input-Driven Pushdown Automata with Limited Nondeterminism (Invited Paper)","year":2014,"lang":"en","type":"article","venue":"Developments in Language Theory","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Pushdown automaton; Deterministic pushdown automaton; Nondeterministic algorithm; Embedded pushdown automaton; Discrete mathematics; Automaton; Path (computing); Computer science; Algorithm; Computation; Mathematics; Combinatorics; Theoretical computer science; Nondeterministic finite automaton; Automata theory; Rule-based machine translation; Artificial intelligence; 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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001226639,0.0003209195,0.0003290177,0.0003534393,0.0001178257,0.0001584533,0.001535275,0.0001216129,0.00007135789],"category_scores_gemma":[0.0001490611,0.0002545539,0.00004310444,0.0006852111,0.0001146776,0.0006352589,0.0005197156,0.0002473344,0.0001524382],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008162884,"about_ca_system_score_gemma":0.00007379465,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001370143,"about_ca_topic_score_gemma":0.00002166778,"domain_scores_codex":[0.9976155,0.0003927641,0.0003978722,0.0006236967,0.0004025822,0.0005675709],"domain_scores_gemma":[0.9982527,0.000364906,0.0001504238,0.001057189,0.00003962152,0.0001351598],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"observational","study_design_scores_codex":[0.0001505414,0.0004554943,0.003954654,0.00009377848,0.0001455361,0.0007919896,0.03709445,0.00009563902,0.01399261,0.2200253,0.0006042301,0.7225958],"study_design_scores_gemma":[0.02861865,0.001851351,0.5004129,0.003453327,0.0001375244,0.001530867,0.008141404,0.1491805,0.05788885,0.1400829,0.09781253,0.01088917],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7873281,0.0001319005,0.1898518,0.0006005805,0.0005426129,0.0004900891,0.000008135818,0.001240947,0.01980588],"genre_scores_gemma":[0.9264811,0.000008678663,0.0675732,0.005294413,0.00005009927,0.00005217294,0.00004231243,0.00003812049,0.0004598902],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.7117066,"threshold_uncertainty_score":0.9999906,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.005016240646057672,"score_gpt":0.2126898059308322,"score_spread":0.2076735652847745,"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."}}