{"id":"W2922342170","doi":"10.1016/j.tcs.2019.03.005","title":"Edit distance neighbourhoods of input-driven pushdown automata","year":2019,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Deterministic pushdown automaton; Pushdown automaton; Neighbourhood (mathematics); Embedded pushdown automaton; Context-free language; Automaton; Discrete mathematics; Nondeterministic algorithm; Nested word; Deterministic context-free grammar; Mathematics; Computer science; Combinatorics; Regular language; Theoretical computer science; Automata theory; Nondeterministic finite automaton; Quantum finite automata; Context-free grammar; Rule-based machine translation; Artificial intelligence","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.001429595,0.0002550866,0.0003960482,0.0002184904,0.0001860728,0.0003227965,0.005156249,0.00007530287,0.0002333626],"category_scores_gemma":[0.00007251353,0.0002051175,0.0001180286,0.001521837,0.002282873,0.001159888,0.002046135,0.0002308069,0.0002927334],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006182101,"about_ca_system_score_gemma":0.0001802339,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003871034,"about_ca_topic_score_gemma":2.588409e-7,"domain_scores_codex":[0.9966843,0.0001170743,0.0004545515,0.0009381854,0.001080005,0.0007258596],"domain_scores_gemma":[0.9970086,0.0003573557,0.0001773867,0.001971014,0.0002034626,0.0002821969],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000007214204,0.00008328332,0.0003362729,0.00002076775,0.000005303264,0.000006745616,0.0003393728,0.0001874542,0.003195592,0.9673943,0.00006371945,0.02835998],"study_design_scores_gemma":[0.0003980717,0.0003080336,0.003016857,0.00008983325,0.000004516602,0.00003374811,0.000009327721,0.8385248,0.006295713,0.1503669,0.0006250312,0.0003270908],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1064792,0.0000315678,0.8822357,0.0007343786,0.001552237,0.0002138038,0.000005349091,0.0003287932,0.008418938],"genre_scores_gemma":[0.9008819,0.000005062022,0.09846979,0.0004522881,0.000136881,0.000004284603,0.000001661744,0.00001142636,0.00003672552],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8383374,"threshold_uncertainty_score":0.958168,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.004905713422251415,"score_gpt":0.2242470595699015,"score_spread":0.2193413461476501,"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."}}